SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > part

part
subject			fact

part	documentation 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
	has axiom (<=> (properPart ?OBJ1 ?OBJ2) (and (part ?OBJ1 ?OBJ2) (not (part ?OBJ2 ?OBJ1))))
	has axiom (<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2))))
	has axiom (<=> (overlapsSpatially ?OBJ1 ?OBJ2) (exists (?OBJ3) (and (part ?OBJ3 ?OBJ1) (part ?OBJ3 ?OBJ2))))
	has axiom (=> (instance ?OBJ SelfConnectedObject) (exists (?PART) (part ?PART ?OBJ)))
	has axiom (=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2)))
	has axiom (=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))
	has axiom (=> (completelyFills ?OBJ1 ?HOLE) (exists (?OBJ2) (and (part ?OBJ2 ?OBJ1) (fills ?OBJ2 ?HOLE))))
	has axiom (=> (partiallyFills ?OBJ ?HOLE1) (exists (?HOLE2) (and (part ?HOLE2 ?HOLE1) (completelyFills ?OBJ ?HOLE2))))
	has axiom (=> (properlyFills ?OBJ ?HOLE1) (exists (?HOLE2) (and (part ?HOLE2 ?HOLE1) (fills ?OBJ ?HOLE2))))
	has axiom (=> (surface ?OBJ1 ?OBJ2) (and (instance ?OBJ1 SelfConnectedObject) (forall (?OBJ3) (=> (superficialPart ?OBJ3 ?OBJ2) (part ?OBJ3 ?OBJ1)))))
	has axiom (=> (equal ?OBJ3 (MereologicalDifferenceFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (and (part ?PART ?OBJ1) (not (part ?PART ?OBJ2))))))
	has axiom (=> (equal ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (and (part ?PART ?OBJ1) (part ?PART ?OBJ2)))))
	has axiom (=> (equal ?OBJ3 (MereologicalSumFn ?OBJ1 ?OBJ2)) (forall (?PART) (<=> (part ?PART ?OBJ3) (or (part ?PART ?OBJ1) (part ?PART ?OBJ2)))))
	has axiom (=> (forall (?OBJ3) (=> (part ?OBJ3 ?OBJ1) (overlapsSpatially ?OBJ3 ?OBJ2))) (part ?OBJ1 ?OBJ2))
	has axiom (=> (instance ?ANAT AnatomicalStructure) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?ANAT ?ORGANISM))))
	has axiom (=> (instance ?COLOR Pigment) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?COLOR ?ORGANISM))))
	has axiom (=> (instance ?FOOD Food) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD))))
	has axiom (=> (instance ?PART BodyPart) (exists (?CELL) (and (instance ?CELL Cell) (part ?CELL ?PART))))
	has axiom (=> (instance ?PHRASE Phrase) (exists (?PART1 ?PART2) (and (part ?PART1 ?PHRASE) (part ?PART2 ?PHRASE) (instance ?PART1 Word) (instance ?PART2 Word) (not (equal ?PART1 ?PART2)))))
	has axiom (=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE))))
	has axiom (=> (instance ?STRING SymbolicString) (exists (?PART) (and (part ?PART ?STRING) (instance ?PART Character))))
	has axiom (=> (instance ?STUFF Tissue) (exists (?PART) (and (instance ?PART Cell) (part ?PART ?STUFF))))
	has axiom (=> (instance ?STUFF Tissue) (exists (?ORGANISM) (and (instance ?ORGANISM Organism) (part ?STUFF ?ORGANISM))))
	has axiom (=> (instance ?TEXT Text) (exists (?PART1 ?PART2) (and (part ?PART1 ?TEXT) (part ?PART2 ?TEXT) (instance ?PART1 Sentence) (instance ?PART2 Sentence) (not (equal ?PART1 ?PART2)))))
	has axiom (=> (instance ?WALL CellWall) (exists (?CELL) (and (instance ?CELL Cell) (part ?WALL ?CELL))))
	has axiom (=> (instance ?WORD Word) (exists (?PART) (and (part ?PART ?WORD) (instance ?PART Morpheme))))
	has axiom (=> (and (instance ?COVER Covering) (patient ?COVER ?OBJ)) (exists (?CONCEAL ?PART) (and (instance ?CONCEAL Concealing) (subProcess ?CONCEAL ?COVER) (part ?PART ?OBJ) (patient ?CONCEAL ?PART))))
	has axiom (=> (and (instance ?STATE PhysicalState) (part ?PART ?OBJ) (holdsDuring ?TIME (attribute ?OBJ ?STATE))) (not (exists (?OTHERSTATE) (and (instance ?OTHERSTATE PhysicalState) (holdsDuring ?TIME (attribute ?PART ?OTHERSTATE)) (not (equal ?STATE ?OTHERSTATE))))))
	has axiom (=> (and (part ?OBJ1 ?OBJ2) (part ?OBJ2 ?OBJ1)) (equal ?OBJ1 ?OBJ2))
	has axiom (=> (and (path ?PROCESS ?PATH) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST)) (forall (?OBJ) (=> (part ?OBJ ?PATH) (between ?SOURCE ?OBJ ?DEST))))
	has axiom (=> (and (subclass ?OBJECTTYPE Substance) (instance ?OBJECT ?OBJECTTYPE) (part ?PART ?OBJECT)) (instance ?PART ?OBJECTTYPE))
	has axiom (=> (attribute ?OBJ Anhydrous) (not (exists (?WATER) (and (instance ?WATER Water) (part ?WATER ?OBJ)))))
	has axiom (=> (attribute ?OBJ Wet) (forall (?PART) (=> (part ?PART ?OBJ) (exists (?WATER) (and (instance ?WATER Water) (or (overlapsSpatially ?WATER ?PART) (meetsSpatially ?WATER ?PART)))))))
	has axiom (=> (contains ?OBJ1 ?OBJ2) (forall (?PART2) (=> (part ?PART2 ?OBJ2) (exists (?PART1) (and (interiorPart ?PART1 ?OBJ1) (exactlyLocated ?PART2 ?PART1))))))
	has axiom (=> (instance ?ELEMENT EngineeringElement) (exists (?DEVICE) (and (instance ?DEVICE Device) (part ?ELEMENT ?DEVICE))))
	has axiom (=> (instance ?FOOD Food) (forall (?PART1) (=> (part ?PART1 ?FOOD) (exists (?PART2 ?ORGANISM) (and (part ?PART1 ?PART2) (part ?PART2 ?ORGANISM) (instance ?ORGANISM Organism))))))
	has axiom (=> (instance ?MOLE Molecule) (exists (?ATOM1 ?ATOM2) (and (instance ?ATOM1 Atom) (instance ?ATOM2 Atom) (part ?ATOM1 ?MOLE) (part ?ATOM2 ?MOLE) (not (equal ?ATOM1 ?ATOM2)))))
	has axiom (=> (instance ?MORPH Morpheme) (exists (?WORD) (and (instance ?WORD Word) (part ?MORPH ?WORD))))
	has axiom (=> (instance ?MORPH Morpheme) (not (exists (?OTHERMORPH) (and (instance ?OTHERMORPH Morpheme) (part ?OTHERMORPH ?MORPH) (not (equal ?OTHERMORPH ?MORPH))))))
	has axiom (=> (instance ?ORGANISM ToxicOrganism) (exists (?SUBSTANCE) (and (instance ?SUBSTANCE ToxicSubstance) (part ?SUBSTANCE ?ORGANISM))))
	has axiom (=> (instance ?SUBMOLE SubmolecularObject) (exists (?MOLE) (and (instance ?MOLE Molecule) (part ?SUBMOLE ?MOLE))))
	has axiom (=> (located ?OBJ ?REGION) (forall (?SUBOBJ) (=> (part ?SUBOBJ ?OBJ) (located ?SUBOBJ ?REGION))))
	has axiom (=> (partlyLocated ?OBJ ?REGION) (exists (?SUBOBJ) (and (part ?SUBOBJ ?OBJ) (exactlyLocated ?SUBOBJ ?REGION))))
	has axiom (=> (instance ?PLANT Plant) (exists (?COLOR ?PROC) (and (part ?COLOR ?PLANT) (instance ?COLOR Pigment) (result ?COLOR ?PROC) (instance ?PROC Photosynthesis))))
	has axiom (=> (overlapsPartially ?OBJ1 ?OBJ2) (and (not (part ?OBJ1 ?OBJ2)) (not (part ?OBJ2 ?OBJ1))))
	has domain1 SelfConnectedObject
	has domain2 SelfConnectedObject
	is an instance of BinaryPredicate
	is an instance of PartialOrderingRelation
	is an instance of SpatialRelation
BinaryRelation	is first domain of DomainFn
	is first domain of equivalenceRelationOn
	is first domain of inverse
	is first domain of irreflexiveOn
	is first domain of partialOrderingOn
	is first domain of RangeFn
	is first domain of reflexiveOn
	is first domain of totalOrderingOn
	is first domain of trichotomizingOn
	is second domain of inverse
Predicate	is first domain of singleValued
Relation	is first domain of domain
	is first domain of domainSubclass
	is first domain of holds
	is first domain of subrelation
	is first domain of valence
	is second domain of subrelation
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

Next BinaryPredicate: partiallyFills    Up: BinaryPredicate, PartialOrderingRelation, SpatialRelation    Previous BinaryPredicate: parent