part (part)
The basic mereological relation. All other
mereological relations are defined in terms of this one.
(part part whole) simply means that the Object part is part
of the Object whole. Note that, since part is a
ReflexiveRelation, every Object is a part of itself.
Ontologie
SUMO / BASE-ONTOLOGYClass(es)
Superrelation(s)
Subrelation(s)
proper part
piece
component
member
superficial part
interior part
Související termín(y)
back fn
front fn
mereological difference fn
mereological product fn
mereological sum fn
principal host fn
skin fn
where fn
before or equal
between
connected
connects
distance
greater than or equal to
hole
larger
less than or equal to
located
orientation
partially fills
partly located
smaller
sub attribute
sub list
sub process
subclass
subrelation
subsumes content class
subsumes content instance
traverses
Typy argumentů
part(objekt, objekt)
Related WordNet synsets
- comprehension, comprising
- the act of comprising something
- part, piece
- a portion of a natural object; "they analyzed the river into three parts"; "he needed a piece of granite"
- part, portion, component part, component
- something determined in relation to something that includes it; "he wanted to feel a part of something bigger than himself"; "I read a portion of the manuscript"; "the smaller component is hard to reach"
See more related synsets on a separate page.
Axiomy (57)
Jestliže obj je instancí třídy spojitý objekt, potom "front fn(obj)" je částí obj.
(=>
(instance ?OBJ SelfConnectedObject)
(part
(FrontFn ?OBJ)
?OBJ))
Jestliže obj je instancí třídy spojitý objekt, potom "back fn(obj)" je částí obj.
(=>
(instance ?OBJ SelfConnectedObject)
(part
(BackFn ?OBJ)
?OBJ))
obj1 je vlastní částí obj2 tehdy a jen tehdy pokud obj1 je částí obj2 a obj2 není částí obj1.
(<=>
(properPart ?OBJ1 ?OBJ2)
(and
(part ?OBJ1 ?OBJ2)
(not
(part ?OBJ2 ?OBJ1))))
Jestliže objecttype je podtřídou látka a object je instancí třídy objecttype a part je částí object, potom part je instancí třídy objecttype.
(=>
(and
(subclass ?OBJECTTYPE Substance)
(instance ?OBJECT ?OBJECTTYPE)
(part ?PART ?OBJECT))
(instance ?PART ?OBJECTTYPE))
Jestliže obj je instancí třídy látka a attr je atributem obj a part je částí obj, potom attr je atributem part.
(=>
(and
(instance ?OBJ Substance)
(attribute ?OBJ ?ATTR)
(part ?PART ?OBJ))
(attribute ?PART ?ATTR))
Jestliže particle je instancí třídy subatomická částice, potom existuje atom atom tak, že particle je částí atom.
(=>
(instance ?PARTICLE SubatomicParticle)
(exists
(?ATOM)
(and
(instance ?ATOM Atom)
(part ?PARTICLE ?ATOM))))
Jestliže string je instancí třídy řetězec, potom existuje znak part tak, že part je částí string.
(=>
(instance ?STRING SymbolicString)
(exists
(?PART)
(and
(part ?PART ?STRING)
(instance ?PART Character))))
- jestliže obj je located at region,
- potom pro všechny subobj platí: jestliže subobj je částí obj, potom subobj je located at region
.
(=>
(located ?OBJ ?REGION)
(forall
(?SUBOBJ)
(=>
(part ?SUBOBJ ?OBJ)
(located ?SUBOBJ ?REGION))))
Jestliže obj je částečně umístěn v region, potom existuje subobj tak, že subobj je částí obj a subobj je přesně umístěn v region.
(=>
(partlyLocated ?OBJ ?REGION)
(exists
(?SUBOBJ)
(and
(part ?SUBOBJ ?OBJ)
(exactlyLocated ?SUBOBJ ?REGION))))
obj1 se překrývá s obj2 tehdy a jen tehdy pokud existuje obj3 tak, že obj3 je částí obj1 a obj3 je částí obj2.
(<=>
(overlapsSpatially ?OBJ1 ?OBJ2)
(exists
(?OBJ3)
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2))))
obj1 se částečně překrývá s obj2 tehdy a jen tehdy pokud - obj1 není částí obj2
a - obj2 není částí obj1
a - existuje obj3 tak, že obj3 je částí obj1 a obj3 je částí obj2
.
(<=>
(overlapsPartially ?OBJ1 ?OBJ2)
(and
(not
(part ?OBJ1 ?OBJ2))
(not
(part ?OBJ2 ?OBJ1))
(exists
(?OBJ3)
(and
(part ?OBJ3 ?OBJ1)
(part ?OBJ3 ?OBJ2)))))
- jestliže obj1 je povrchem obj2,
- potom pro všechny obj3 platí: jestliže obj3 je a minimální částí obj2, potom obj3 je částí obj1
.
(=>
(surface ?OBJ1 ?OBJ2)
(forall
(?OBJ3)
(=>
(superficialPart ?OBJ3 ?OBJ2)
(part ?OBJ3 ?OBJ1))))
Jestliže bottom(bottom,object) platí a part je částí object a part není spojen s bottom, potom part je above vzhledem k bottom.
(=>
(and
(bottom ?BOTTOM ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?BOTTOM)))
(orientation ?PART ?BOTTOM Above))
Jestliže top(top,object) platí a part je částí object a part není spojen s top, potom part je below vzhledem k top.
(=>
(and
(top ?TOP ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?TOP)))
(orientation ?PART ?TOP Below))
Jestliže side(side,object) platí a part je částí object a part není spojen s side, potom existuje direct tak, že side je direct vzhledem k part.
(=>
(and
(side ?SIDE ?OBJECT)
(part ?PART ?OBJECT)
(not
(connected ?PART ?SIDE)))
(exists
(?DIRECT)
(orientation ?SIDE ?PART ?DIRECT)))
Jestliže obj3 se rovná "mereological sum fn(obj1,obj2)", potom pro všechny part platí: part je částí obj3 tehdy a jen tehdy pokud part je částí obj1 nebo part je částí obj2.
(=>
(equal
?OBJ3
(MereologicalSumFn ?OBJ1 ?OBJ2))
(forall
(?PART)
(<=>
(part ?PART ?OBJ3)
(or
(part ?PART ?OBJ1)
(part ?PART ?OBJ2)))))
Jestliže obj3 se rovná "mereological product fn(obj1,obj2)", potom pro všechny part platí: part je částí obj3 tehdy a jen tehdy pokud part je částí obj1 a part je částí obj2.
(=>
(equal
?OBJ3
(MereologicalProductFn ?OBJ1 ?OBJ2))
(forall
(?PART)
(<=>
(part ?PART ?OBJ3)
(and
(part ?PART ?OBJ1)
(part ?PART ?OBJ2)))))
Jestliže obj3 se rovná "mereological difference fn(obj1,obj2)", potom pro všechny part platí: part je částí obj3 tehdy a jen tehdy pokud part je částí obj1 a part není částí obj2.
(=>
(equal
?OBJ3
(MereologicalDifferenceFn ?OBJ1 ?OBJ2))
(forall
(?PART)
(<=>
(part ?PART ?OBJ3)
(and
(part ?PART ?OBJ1)
(not
(part ?PART ?OBJ2))))))
(=>
(and
(hole ?HOLE1 ?OBJ)
(hole ?HOLE2 ?OBJ))
(forall
(?HOLE3)
(=>
(part
?HOLE3
(MereologicalSumFn ?HOLE1 ?HOLE2))
(hole ?HOLE3 ?OBJ))))
Jestliže hole je díra v obj1 a obj1 je částí obj2, potom hole se překrývá s obj2 nebo hole je díra v obj2.
(=>
(and
(hole ?HOLE ?OBJ1)
(part ?OBJ1 ?OBJ2))
(or
(overlapsSpatially ?HOLE ?OBJ2)
(hole ?HOLE ?OBJ2)))
fillable je atributem hole1 tehdy a jen tehdy pokud existuje díra hole2 tak, že hole1 je částí hole2.
(<=>
(attribute ?HOLE1 Fillable)
(exists
(?HOLE2)
(and
(instance ?HOLE2 Hole)
(part ?HOLE1 ?HOLE2))))
Jestliže obj částečně zaplňuje hole1, potom existuje hole2 tak, že hole2 je částí hole1 a obj zcela zaplňuje hole2.
(=>
(partiallyFills ?OBJ ?HOLE1)
(exists
(?HOLE2)
(and
(part ?HOLE2 ?HOLE1)
(completelyFills ?OBJ ?HOLE2))))
Jestliže obj přesně zaplňuje hole1, potom existuje hole2 tak, že hole2 je částí hole1 a obj zaplňuje hole2.
(=>
(properlyFills ?OBJ ?HOLE1)
(exists
(?HOLE2)
(and
(part ?HOLE2 ?HOLE1)
(fills ?OBJ ?HOLE2))))
Jestliže obj1 zcela zaplňuje hole, potom existuje obj2 tak, že obj2 je částí obj1 a obj2 zaplňuje hole.
(=>
(completelyFills ?OBJ1 ?HOLE)
(exists
(?OBJ2)
(and
(part ?OBJ2 ?OBJ1)
(fills ?OBJ2 ?HOLE))))
Jestliže path je instancí třídy patologický proces a org prodělává path, potom existují part,nemoc disease tak, že part je částí org a disease je atributem part.
(=>
(and
(instance ?PATH PathologicProcess)
(experiencer ?PATH ?ORG))
(exists
(?PART ?DISEASE)
(and
(part ?PART ?ORG)
(instance ?DISEASE DiseaseOrSyndrome)
(attribute ?PART ?DISEASE))))
- jestliže
- path1 je cesta podél které se vyskytuje process
a - process začíná v source
a - process končí v dest
a - délka path1 je measure1
a - neexistují path2,measure2 tak, že path2 je cesta podél které se vyskytuje process a process začíná v origin a process končí v dest a délka path2 je measure2 a measure2 je menší než measure1
, - potom pro všechny obj platí: jestliže obj je částí path1, potom obj je mezi source a dest
.
(=>
(and
(path ?PROCESS ?PATH1)
(origin ?PROCESS ?SOURCE)
(destination ?PROCESS ?DEST)
(length ?PATH1 ?MEASURE1)
(not
(exists
(?PATH2 ?MEASURE2)
(and
(path ?PROCESS ?PATH2)
(origin ?PROCESS ?ORIGIN)
(destination ?PROCESS ?DEST)
(length ?PATH2 ?MEASURE2)
(lessThan ?MEASURE2 ?MEASURE1)))))
(forall
(?OBJ)
(=>
(part ?OBJ ?PATH1)
(between ?SOURCE ?OBJ ?DEST))))
Jestliže proc je instancí třídy terapie a bio je účastníkem proc, potom
(=>
(and
(instance ?PROC TherapeuticProcess)
(patient ?PROC ?BIO))
(or
(instance ?BIO Organism)
(exists
(?ORG)
(and
(instance ?ORG Organism)
(part ?BIO ?ORG)))))
combine je instancí třídy spojení a obj1 je nástrojem pro combine a obj2 je výsledkem combine tehdy a jen tehdy pokud obj1 není částí obj2 právě před doba existence combine a obj1 je částí obj2 právě po doba existence combine.
(<=>
(and
(instance ?COMBINE Combining)
(resource ?COMBINE ?OBJ1)
(result ?COMBINE ?OBJ2))
(and
(holdsDuring
(ImmediatePastFn
(WhenFn ?COMBINE))
(not
(part ?OBJ1 ?OBJ2)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COMBINE))
(part ?OBJ1 ?OBJ2))))
Jestliže process je instancí třídy změna skupenství a obj je účastníkem process, potom existují part,skupenství state1,skupenství state2 tak, že part je částí obj a state1 se nerovná state2 a state1 je atributem part právě před doba existence process a state2 je atributem part právě po doba existence freeze.
(=>
(and
(instance ?PROCESS StateChange)
(patient ?PROCESS ?OBJ))
(exists
(?PART ?STATE1 ?STATE2)
(and
(part ?PART ?OBJ)
(instance ?STATE1 PhysicalState)
(instance ?STATE2 PhysicalState)
(not
(equal ?STATE1 ?STATE2))
(holdsDuring
(ImmediatePastFn
(WhenFn ?PROCESS))
(attribute ?PART ?STATE1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FREEZE))
(attribute ?PART ?STATE2)))))
Jestliže melt je instancí třídy tání a obj je účastníkem melt, potom existuje part tak, že part je částí obj a solid je atributem part právě před doba existence melt a liquid je atributem part právě po doba existence melt.
(=>
(and
(instance ?MELT Melting)
(patient ?MELT ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?MELT))
(attribute ?PART Solid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MELT))
(attribute ?PART Liquid)))))
Jestliže boil je instancí třídy var a obj je účastníkem boil, potom existuje part tak, že part je částí obj a liquid je atributem part právě před doba existence boil a gas je atributem part právě po doba existence boil.
(=>
(and
(instance ?BOIL Boiling)
(patient ?BOIL ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?BOIL))
(attribute ?PART Liquid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?BOIL))
(attribute ?PART Gas)))))
Jestliže cond je instancí třídy kondenzace a obj je účastníkem cond, potom existuje part tak, že part je částí obj a gas je atributem part právě před doba existence cond a liquid je atributem part právě po doba existence cond.
(=>
(and
(instance ?COND Condensing)
(patient ?COND ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?COND))
(attribute ?PART Gas))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?COND))
(attribute ?PART Liquid)))))
Jestliže freeze je instancí třídy tuhnutí a obj je účastníkem freeze, potom existuje part tak, že part je částí obj a liquid je atributem part právě před doba existence freeze a solid je atributem part právě po doba existence freeze.
(=>
(and
(instance ?FREEZE Freezing)
(patient ?FREEZE ?OBJ))
(exists
(?PART)
(and
(part ?PART ?OBJ)
(holdsDuring
(ImmediatePastFn
(WhenFn ?FREEZE))
(attribute ?PART Liquid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FREEZE))
(attribute ?PART Solid)))))
Jestliže land1 je instancí třídy souš, potom existuje land2 tak, že land1 je částí land2 a land2 je instancí třídy kontinent nebo land2 je instancí třídy ostrov.
(=>
(instance ?LAND1 LandArea)
(exists
(?LAND2)
(and
(part ?LAND1 ?LAND2)
(or
(instance ?LAND2 Continent)
(instance ?LAND2 Island)))))
Jestliže island je instancí třídy ostrov, potom neexistují souš area,part1,part2 tak, že part1 je částí island a part2 je částí area a island není částí area a area není částí island a part1 je spojen s part2.
(=>
(instance ?ISLAND Island)
(not
(exists
(?AREA ?PART1 ?PART2)
(and
(instance ?AREA LandArea)
(part ?PART1 ?ISLAND)
(part ?PART2 ?AREA)
(not
(part ?ISLAND ?AREA))
(not
(part ?AREA ?ISLAND))
(connected ?PART1 ?PART2)))))
Jestliže organism je instancí třídy toxický organismus, potom existuje biologicky aktivní látka substance tak, že substance je částí organism.
(=>
(instance ?ORGANISM ToxicOrganism)
(exists
(?SUBSTANCE)
(and
(instance ?SUBSTANCE BiologicallyActiveSubstance)
(part ?SUBSTANCE ?ORGANISM))))
Jestliže food je instancí třídy jídlo, potom existuje živina nutrient tak, že nutrient je částí food.
(=>
(instance ?FOOD Food)
(exists
(?NUTRIENT)
(and
(instance ?NUTRIENT Nutrient)
(part ?NUTRIENT ?FOOD))))
- jestliže food je instancí třídy jídlo,
- potom pro všechny part1 platí: jestliže part1 je částí food, potom existují part2,zvíře animal tak, že part1 je částí part2 a part2 je částí animal
.
(=>
(instance ?FOOD Food)
(forall
(?PART1)
(=>
(part ?PART1 ?FOOD)
(exists
(?PART2 ?ANIMAL)
(and
(part ?PART1 ?PART2)
(part ?PART2 ?ANIMAL)
(instance ?ANIMAL Animal))))))
- jestliže meat je instancí třídy maso,
- potom pro všechny part platí: jestliže part je částí meat, potom existují subpart,time,animal tak, že subpart je částí part a animal je instancí třídy zvíře a subpart je částí animal během time
.
(=>
(instance ?MEAT Meat)
(forall
(?PART)
(=>
(part ?PART ?MEAT)
(exists
(?SUBPART ?TIME ?ANIMAL)
(and
(part ?SUBPART ?PART)
(holdsDuring
?TIME
(and
(instance ?ANIMAL Animal)
(part ?SUBPART ?ANIMAL))))))))
(=>
(instance ?VEG FruitOrVegetable)
(forall
(?PART)
(=>
(part ?PART ?VEG)
(exists
(?SUBPART ?TIME ?PLANT)
(and
(part ?SUBPART ?PART)
(holdsDuring
?TIME
(and
(instance ?PLANT Plant)
(part ?SUBPART ?PLANT))))))))
Jestliže anat je instancí třídy anatomická struktura, potom existuje organismus organism tak, že anat je částí organism.
(=>
(instance ?ANAT AnatomicalStructure)
(exists
(?ORGANISM)
(and
(instance ?ORGANISM Organism)
(part ?ANAT ?ORGANISM))))
Jestliže part je instancí třídy anatomická struktura, potom existuje buňka cell tak, že cell je částí part.
(=>
(instance ?PART AnatomicalStructure)
(exists
(?CELL)
(and
(instance ?CELL Cell)
(part ?CELL ?PART))))
Jestliže stuff je instancí třídy tkáň, potom existuje buňka part tak, že part je částí stuff.
(=>
(instance ?STUFF Tissue)
(exists
(?PART)
(and
(instance ?PART Cell)
(part ?PART ?STUFF))))
Jestliže stuff je instancí třídy tkáň, potom existuje organismus organism tak, že stuff je částí organism.
(=>
(instance ?STUFF Tissue)
(exists
(?ORGANISM)
(and
(instance ?ORGANISM Organism)
(part ?STUFF ?ORGANISM))))
Jestliže bone je instancí třídy kost, potom existuje obratlovec vert tak, že bone je částí vert.
(=>
(instance ?BONE Bone)
(exists
(?VERT)
(and
(instance ?VERT Vertebrate)
(part ?BONE ?VERT))))
Jestliže morph je instancí třídy morfém, potom neexistuje morfém othermorph tak, že othermorph je částí morph a othermorph se nerovná morph.
(=>
(instance ?MORPH Morpheme)
(not
(exists
(?OTHERMORPH)
(and
(instance ?OTHERMORPH Morpheme)
(part ?OTHERMORPH ?MORPH)
(not
(equal ?OTHERMORPH ?MORPH))))))
Jestliže morph je instancí třídy morfém, potom existuje slovo word tak, že morph je částí word.
(=>
(instance ?MORPH Morpheme)
(exists
(?WORD)
(and
(instance ?WORD Word)
(part ?MORPH ?WORD))))
Jestliže word je instancí třídy slovo, potom existuje morfém part tak, že part je částí word.
(=>
(instance ?WORD Word)
(exists
(?PART)
(and
(part ?PART ?WORD)
(instance ?PART Morpheme))))
Jestliže phrase je instancí třídy fráze, potom existují slovo part1,slovo part2 tak, že part1 je částí phrase a part2 je částí phrase a part1 se nerovná part2.
(=>
(instance ?PHRASE Phrase)
(exists
(?PART1 ?PART2)
(and
(part ?PART1 ?PHRASE)
(part ?PART2 ?PHRASE)
(instance ?PART1 Word)
(instance ?PART2 Word)
(not
(equal ?PART1 ?PART2)))))
Jestliže sentence je instancí třídy věta, potom existují rozvité podstatné jméno phrase1,rozvité sloveso phrase2 tak, že phrase1 je částí sentence a phrase2 je částí sentence.
(=>
(instance ?SENTENCE Sentence)
(exists
(?PHRASE1 ?PHRASE2)
(and
(instance ?PHRASE1 NounPhrase)
(instance ?PHRASE2 VerbPhrase)
(part ?PHRASE1 ?SENTENCE)
(part ?PHRASE2 ?SENTENCE))))
Jestliže text je instancí třídy text, potom existuje věta part tak, že part je částí text.
(=>
(instance ?TEXT Text)
(exists
(?PART)
(and
(part ?PART ?TEXT)
(instance ?PART Sentence))))
Jestliže sent je instancí třídy věta, potom existují rozvité podstatné jméno noun,rozvité sloveso verb tak, že noun je částí sent a verb je částí sent.
(=>
(instance ?SENT Sentence)
(exists
(?NOUN ?VERB)
(and
(instance ?NOUN NounPhrase)
(instance ?VERB VerbPhrase)
(part ?NOUN ?SENT)
(part ?VERB ?SENT))))
Jestliže mole je instancí třídy molekula, potom existují atom atom1,atom atom2 tak, že atom1 je částí mole a atom2 je částí mole a atom1 se nerovná atom2.
(=>
(instance ?MOLE Molecule)
(exists
(?ATOM1 ?ATOM2)
(and
(instance ?ATOM1 Atom)
(instance ?ATOM2 Atom)
(part ?ATOM1 ?MOLE)
(part ?ATOM2 ?MOLE)
(not
(equal ?ATOM1 ?ATOM2)))))
Jestliže clothing je instancí třídy ošacení, potom existuje tkanina fabric tak, že fabric je částí clothing.
(=>
(instance ?CLOTHING Clothing)
(exists
(?FABRIC)
(and
(instance ?FABRIC Fabric)
(part ?FABRIC ?CLOTHING))))
Jestliže dry je atributem obj, potom neexistuje subobj tak, že subobj je částí obj a liquid je atributem subobj.
(=>
(attribute ?OBJ Dry)
(not
(exists
(?SUBOBJ)
(and
(part ?SUBOBJ ?OBJ)
(attribute ?SUBOBJ Liquid)))))
(=>
(attribute ?OBJ Wet)
(forall
(?PART)
(=>
(part ?PART ?OBJ)
(exists
(?SUBPART)
(and
(part ?SUBPART ?PART)
(attribute ?SUBPART Liquid))))))
Jestliže body je instancí třídy reprodukční struktura a body je částí org a org je instancí třídy organismus, potom female je atributem org.
(=>
(and
(instance ?BODY ReproductiveBody)
(part ?BODY ?ORG)
(instance ?ORG Organism))
(attribute ?ORG Female))
