Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - part
part

appearance as argument number 1
-------------------------


(instance part SpatialRelation) Merge.kif 921-921 part is an instance of spatial relation
(instance part PartialOrderingRelation) Merge.kif 922-922 part is an instance of partial ordering relation
(instance part BinaryPredicate) Merge.kif 923-923 part is an instance of binary predicate
(domain part 1 Object) Merge.kif 924-924 The number 1 argument of part is an instance of object
(domain part 2 Object) Merge.kif 925-925 The number 2 argument of part is an instance of object
(documentation part EnglishLanguage "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.") Merge.kif 927-931 The number 2 argument of part is an instance of object

appearance as argument number 2
-------------------------


(subrelation properPart part) Merge.kif 935-935 proper part is a subrelation of part
(subrelation piece part) Merge.kif 958-958 piece is a subrelation of part
(subrelation component part) Merge.kif 974-974 component is a subrelation of part
(disjointRelation contains part) Merge.kif 1091-1091 contains and part are disjoint
(subrelation interiorPart part) Merge.kif 9917-9917 interior part is a subrelation of part
(subrelation physicalEnd part) Merge.kif 18285-18285 physical end is a subrelation of part
(subrelation half part) Mid-level-ontology.kif 14728-14728 half is a subrelation of part
(subrelation third part) Mid-level-ontology.kif 14746-14746 third is a subrelation of part
(subrelation quarter part) Mid-level-ontology.kif 14766-14766 quarter is a subrelation of part
(subrelation most part) Mid-level-ontology.kif 14777-14777 most is a subrelation of part
(subrelation centerOfMass part) Mid-level-ontology.kif 19306-19306 center of mass is a subrelation of part
(relatedInternalConcept typicalPart part) Mid-level-ontology.kif 25942-25942 typical part is internally related to part
(relatedInternalConcept typicallyContainsPart part) Mid-level-ontology.kif 25979-25979 typically contains part is internally related to part
(relatedInternalConcept initialPart part) Mid-level-ontology.kif 26020-26020 initial part is internally related to part
(relatedInternalConcept initiallyContainsPart part) Mid-level-ontology.kif 26048-26048 initially contains part is internally related to part
(relatedInternalConcept partTypes part) Mid-level-ontology.kif 26074-26074 part types is internally related to part
(subrelation inString part) Mid-level-ontology.kif 26675-26675 in string is a subrelation of part
(subrelation subString part) Mid-level-ontology.kif 26697-26697 sub string is a subrelation of part
(subrelation pathInSystem part) Transportation.kif 3866-3866 path in system is a subrelation of part
(subrelation geneticSubstrateOfVirus part) VirusProteinAndCellPart.kif 34-34 genetic substrate of virus is a subrelation of part
(termFormat EnglishLanguage part "part") domainEnglishFormat.kif 44513-44513 genetic substrate of virus is a subrelation of part
(termFormat ChineseTraditionalLanguage part "部分") domainEnglishFormat.kif 44514-44514 genetic substrate of virus is a subrelation of part
(termFormat ChineseLanguage part "部分") domainEnglishFormat.kif 44515-44515 genetic substrate of virus is a subrelation of part
(format EnglishLanguage part "%1 is %n a part of %2") english_format.kif 162-162 genetic substrate of virus is a subrelation of part

antecedent
-------------------------


(=>
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1)))
    (properPart ?OBJ1 ?OBJ2))		 Merge.kif 951-956 If X is a part of Y and Y is not a part of X, then X is a proper part of Y
(=>
    (and
        (holdsDuring ?T
            (possesses ?PERSON ?OBJ))
        (part ?P ?OBJ))
    (holdsDuring ?T
        (possesses ?PERSON ?P)))		 Merge.kif 4371-4377 If X possesses Y holds during Z and W is a part of Y, then X possesses W holds during Z
(=>
    (and
        (amount ?S ?CO
            (MeasureFn ?N ?U))
        (instance ?SI ?S)
        (measure ?SI
            (MeasureFn ?N2 ?U))
        (part ?SI ?CO))
    (exists (?L)
        (and
            (inList
                (MeasureFn ?N2 ?U) ?L)
            (equal ?L
                (AmountsFn ?S ?CO ?U))
            (equal ?N
                (ListSumFn ?L)))))		 Merge.kif 7740-7755 If amount X, Y and Z W(s), V is an instance of X, the measure of V is U W(s), and V is a part of Y, then there exists T such that U W(s) is a member of T and equal T and Amounts fn X, Y and W and equal Z and the sum of T
(=>
    (and
        (part ?OBJ3 ?OBJ1)
        (part ?OBJ3 ?OBJ2))
    (overlapsSpatially ?OBJ1 ?OBJ2))		 Merge.kif 9812-9816 If X is a part of Y and X is a part of Z, then Y and Z overlapsSpatially
(=>
    (and
        (not
            (part ?OBJ1 ?OBJ2))
        (not
            (part ?OBJ2 ?OBJ1))
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2)))
    (overlapsPartially ?OBJ1 ?OBJ2))		 Merge.kif 9859-9866 If X is not a part of Y, Y is not a part of X, and Z is a part of X and Z is a part of Y, then X partially overlaps with Y
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9942-9947 If the bottom of X is Y, Z is a part of X, and Z is not connected to Y, then Z is above to Y
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))		 Merge.kif 9957-9962 If the top of X is Y, Z is a part of X, and Z is not connected to Y, then Z is below to Y
(=>
    (and
        (side ?SIDE ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?SIDE)))
    (exists (?DIRECT)
        (orientation ?SIDE ?PART ?DIRECT)))		 Merge.kif 9972-9979 If a side of X is Y, Z is a part of X, and Z is not connected to Y, then there exists W such that Y is W to Z
(=>
    (and
        (hole ?HOLE ?OBJ1)
        (part ?OBJ1 ?OBJ2))
    (or
        (overlapsSpatially ?HOLE ?OBJ2)
        (hole ?HOLE ?OBJ2)))		 Merge.kif 10130-10136 If X is a hole in Y and Y is a part of Z, then X and Z overlapsSpatially or X is a hole in Z
(=>
    (and
        (instance ?HOLE2 HoleRegion)
        (part ?HOLE1 ?HOLE2))
    (attribute ?HOLE1 Fillable))		 Merge.kif 10194-10198 If X is an instance of hole and Y is a part of X, then fillable is an attribute of Y
(=>
    (and
        (path ?PROCESS ?PATH1)
        (origin ?PROCESS ?SOURCE)
        (destination ?PROCESS ?DEST)
        (length ?PATH1
            (MeasureFn ?MEASURE1 ?U))
        (distance ?SOURCE ?DEST
            (MeasureFn ?DISTANCE ?U))
        (not
            (greaterThan ?MEASURE1 ?DISTANCE))
        (part ?OBJ ?PATH1))
    (between ?SOURCE ?OBJ ?DEST))		 Merge.kif 11334-11344 If All of the following hold: (1) X is path along which Y occurs (2) Y originates at Z (3) Y ends up at W (4) the length of X is V U(s) (5) the distance between Z and W is T U(s) (6) V is not greater than T (7) S is a part of X, then S is between Z and W
(=>
    (and
        (instance ?SUBSTANCE AnimalSubstance)
        (instance ?ANIMAL Organism)
        (part ?SUBSTANCE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 15128-15133 If X is an instance of animal substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal
(=>
    (and
        (instance ?SUBSTANCE PlantSubstance)
        (instance ?PLANT Organism)
        (part ?SUBSTANCE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 15139-15144 If X is an instance of plant substance, Y is an instance of organism, and X is a part of Y, then Y is an instance of plant
(=>
    (and
        (instance ?STRUCTURE AnimalAnatomicalStructure)
        (instance ?ANIMAL Organism)
        (part ?STRUCTURE ?ANIMAL))
    (instance ?ANIMAL Animal))		 Merge.kif 15296-15301 If X is an instance of animal anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of animal
(=>
    (and
        (instance ?STRUCTURE PlantAnatomicalStructure)
        (instance ?PLANT Organism)
        (part ?STRUCTURE ?PLANT))
    (instance ?PLANT Plant))		 Merge.kif 15307-15312 If X is an instance of plant anatomical structure, Y is an instance of organism, and X is a part of Y, then Y is an instance of plant
(=>
    (and
        (subclass ?T1C Tissue)
        (subclass ?T2C Tissue)
        (instance ?T1 ?T1C)
        (instance ?T2 ?T2C)
        (instance ?H Human)
        (part ?T1 ?H)
        (part ?T2 ?H)
        (not
            (equal ?T1C ?T2C))
        (not
            (subclass ?T1C ?T2C))
        (not
            (subclass ?T2C ?T1C))
        (orientation ?T1 ?T2 Adjacent))
    (modalAttribute
        (exists (?CT)
            (and
                (instance ?CT ConnectiveTissue)
                (between ?T1 ?CT ?T2))) Likely))		 Merge.kif 15462-15483 If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely
(=>
    (and
        (wears ?A ?C)
        (part ?P ?C))
    (wears ?A ?P))		 Merge.kif 16277-16281 If X wears Y and Z is a part of Y, then X wears Z
(=>
    (and
        (instance ?BODY ReproductiveBody)
        (part ?BODY ?ORG)
        (instance ?ORG Organism))
    (attribute ?ORG Female))		 Merge.kif 18458-18463 If X is an instance of reproductive body, X is a part of Y, and Y is an instance of organism, then female is an attribute of Y
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (ImpairedBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (modalAttribute
        (not ?F) Likely))		 Merge.kif 18566-18576 If impaired body part fn X is an attribute of Y holds during Z, W is an instance of X, W is a part of Y, and W has the purpose V, then the statement V has the modal force of likely
(=>
    (and
        (holdsDuring ?T
            (attribute ?H
                (DeadOrMissingBodyPartFn ?P)))
        (instance ?PI ?P)
        (part ?PI ?H)
        (hasPurpose ?PI ?F))
    (not ?F))		 Merge.kif 18587-18595 If dead or missing body part fn X is an attribute of Y holds during Z, W is an instance of X, W is a part of Y, and W has the purpose V, then V
(=>
    (and
        (instance ?REM OrganismRemains)
        (holdsDuring
            (WhenFn ?REM)
            (part ?OBJ ?REM)))
    (exists (?ORG)
        (and
            (instance ?ORG Organism)
            (earlier
                (WhenFn ?ORG)
                (WhenFn ?REM))
            (finishes
                (WhenFn ?REM)
                (WhenFn ?ORG))
            (holdsDuring
                (WhenFn ?ORG)
                (part ?OBJ ?ORG)))))		 Mid-level-ontology.kif 32-43 If X is an instance of organism remains and Y is a part of X holds during the time of existence of X, then there exists Z such that Z is an instance of organism, the time of existence of Z happens earlier than the time of existence of X, the time of existence of X finishes the time of existence of Z, and Y is a part of Z holds during the time of existence of Z
(=>
    (and
        (instance ?DEATH Death)
        (instance ?REM OrganismRemains)
        (instance ?ORG Organism)
        (holdsDuring ?T2
            (part ?OBJ ?REM))
        (holdsDuring ?T1
            (part ?OBJ ?ORG))
        (earlier ?T1 ?T2)
        (result ?DEATH ?REM))
    (experiencer ?DEATH ?ORG))		 Mid-level-ontology.kif 61-70 If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Y is a result of X, then Z experiences X
(=>
    (and
        (instance ?DEATH Death)
        (instance ?REM OrganismRemains)
        (instance ?ORG Organism)
        (holdsDuring ?T2
            (part ?OBJ ?REM))
        (holdsDuring ?T1
            (part ?OBJ ?ORG))
        (earlier ?T1 ?T2)
        (experiencer ?DEATH ?ORG))
    (result ?DEATH ?REM))		 Mid-level-ontology.kif 72-81 If All of the following hold: (1) X is an instance of death (2) Y is an instance of organism remains (3) Z is an instance of organism (4) W is a part of Y holds during V (5) W is a part of Z holds during U (6) U happens earlier than V (7) Z experiences X, then Y is a result of X
(=>
    (and
        (instance ?G Gun)
        (instance ?B GunBarrel)
        (part ?B ?G)
        (instance ?S Shooting)
        (instrument ?S ?G)
        (patient ?S ?P)
        (instance ?P Projectile))
    (exists (?SUB)
        (and
            (subProcess ?SUB ?S)
            (path ?SUB ?B))))		 Mid-level-ontology.kif 1336-1348 If All of the following hold: (1) X is an instance of gun (2) Y is an instance of gun barrel (3) Y is a part of X (4) Z is an instance of shooting (5) X is an instrument for Z (6) W is a patient of Z (7) W is an instance of projectile, then there exists V such that V is a subprocess of Z and Y is path along which V occurs
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (part ?P1 ?E1)
        (part ?P2 ?E2)
        (instance ?U UnitOfLength)
        (distance ?P1 ?P2
            (MeasureFn ?D1 ?U))
        (not
            (equal ?E1 ?E2)))
    (not
        (exists (?OP1 ?OP2 ?D2)
            (and
                (not
                    (part ?OP1 ?E1))
                (not
                    (part ?OP2 ?E2))
                (distance ?OP1 ?OP2
                    (MeasureFn ?D2 ?U))
                (greaterThan ?D2 ?D1)))))		 Mid-level-ontology.kif 1550-1570 If All of the following hold: (1) one end of X is Y (2) one end of X is Z (3) W is a part of Y (4) V is a part of Z (5) U is an instance of unit of length (6) the distance between W and V is T U(s) (7) equal Y and Z, then there don't exist S, R and Q such that S is not a part of Y and R is not a part of Z and the distance between S and R is Q U(s) and Q is greater than T

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (properPart ?OBJ1 ?OBJ2)
    (and
        (part ?OBJ1 ?OBJ2)
        (not
            (part ?OBJ2 ?OBJ1))))		 Merge.kif 944-949 If X is a proper part of Y, then X is a part of Y and Y is not a part of X
(=>
    (instance ?ATOM Atom)
    (exists (?PROTON ?ELECTRON)
        (and
            (part ?PROTON ?ATOM)
            (part ?ELECTRON ?ATOM)
            (instance ?PROTON Proton)
            (instance ?ELECTRON Electron))))		 Merge.kif 1186-1193 If X is an instance of atom, then there exist Y, Z such that Y is a part of X, Z is a part of X, Y is an instance of proton, and Z is an instance of electron
(=>
    (instance ?ATOM Atom)
    (forall (?NUCLEUS1 ?NUCLEUS2)
        (=>
            (and
                (part ?NUCLEUS1 ?ATOM)
                (part ?NUCLEUS2 ?ATOM)
                (instance ?NUCLEUS1 AtomicNucleus)
                (instance ?NUCLEUS2 AtomicNucleus))
            (equal ?NUCLEUS1 ?NUCLEUS2))))		 Merge.kif 1195-1204 If X is an instance of atom, then For all Objects Y and Z: if Y is a part of X, Z is a part of X, Y is an instance of atomic nucleus, and Z is an instance of atomic nucleus, then equal Y and Z
(=>
    (instance ?STRING SymbolicString)
    (exists (?PART)
        (and
            (part ?PART ?STRING)
            (instance ?PART Character))))		 Merge.kif 1437-1442 If X is an instance of symbolic string, then there exists Y such that Y is a part of X and Y is an instance of character
(=>
    (and
        (resourceExhausted ?P ?R)
        (instance ?R ?C))
    (holdsDuring
        (ImmediateFutureFn
            (WhenFn ?P))
        (not
            (exists (?OBJ1)
                (and
                    (part ?OBJ1 ?R)
                    (instance ?OBJ1 ?C))))))		 Merge.kif 2644-2655 If X exhausts Y and Y is an instance of Z, then there doesn't exist W such that W is a part of Y and W is an instance of Z holds during immediately after the time of existence of X
(=>
    (and
        (instance ?OBJ1 Object)
        (partlyLocated ?OBJ1 ?OBJ2))
    (exists (?SUB)
        (and
            (part ?SUB ?OBJ1)
            (located ?SUB ?OBJ2))))		 Merge.kif 4167-4174 If X is an instance of object and X is partly located in Y, then there exists Z such that Z is a part of X and Z is located at Y
(=>
    (located ?OBJ1 ?OBJ2)
    (forall (?SUB)
        (=>
            (part ?SUB ?OBJ1)
            (located ?SUB ?OBJ2))))		 Merge.kif 4188-4193 If X is located at Y, then For all Object Z: if Z is a part of X, then Z is located at Y
(=>
    (overlapsSpatially ?OBJ1 ?OBJ2)
    (exists (?OBJ3)
        (and
            (part ?OBJ3 ?OBJ1)
            (part ?OBJ3 ?OBJ2))))		 Merge.kif 9805-9810 If X and Y overlapsSpatially, then there exists Z such that Z is a part of X and Z is a part of Y
(=>
    (overlapsPartially ?OBJ1 ?OBJ2)
    (and
        (not
            (part ?OBJ1 ?OBJ2))
        (not
            (part ?OBJ2 ?OBJ1))
        (exists (?OBJ3)
            (and
                (part ?OBJ3 ?OBJ1)
                (part ?OBJ3 ?OBJ2)))))		 Merge.kif 9849-9857 If X partially overlaps with Y, then X is not a part of Y, Y is not a part of X, and there exists Z such that Z is a part of X and Z is a part of Y
(=>
    (superficialPart ?PART ?WHOLE)
    (part ?PART ?WHOLE))		 Merge.kif 9872-9874 If X is a superficial part of Y, then X is a part of Y
(=>
    (surface ?OBJ1 ?OBJ2)
    (forall (?OBJ3)
        (=>
            (superficialPart ?OBJ3 ?OBJ2)
            (part ?OBJ3 ?OBJ1))))		 Merge.kif 9910-9915 If X is a surface of Y, then For all Object Z: if Z is a superficial part of Y, then Z is a part of X
(=>
    (equal ?OBJ3
        (MereologicalSumFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (or
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))		 Merge.kif 10023-10030 If equal X, the union of the parts of Y, and Z, then For all Object W: W is a part of X if and only if W is a part of Y or W is a part of Z
(=>
    (equal ?OBJ3
        (MereologicalProductFn ?OBJ1 ?OBJ2))
    (forall (?PART)
        (<=>
            (part ?PART ?OBJ3)
            (and
                (part ?PART ?OBJ1)
                (part ?PART ?OBJ2)))))		 Merge.kif 10044-10051 If equal X, the intersection of the parts of Y, and Z, then For all Object W: W is a part of X if, only if W is a part of Y, and W is a part of Z
(=>
    (and
        (hole ?HOLE1 ?OBJ)
        (hole ?HOLE2 ?OBJ))
    (forall (?HOLE3)
        (=>
            (part ?HOLE3
                (MereologicalSumFn ?HOLE1 ?HOLE2))
            (hole ?HOLE3 ?OBJ))))		 Merge.kif 10121-10128 If X is a hole in Y and Z is a hole in Y, then For all HoleRegion W: if W is a part of the union of the parts of X and Z, then W is a hole in Y
(=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 HoleRegion)
            (part ?HOLE1 ?HOLE2))))		 Merge.kif 10187-10192 If fillable is an attribute of X, then there exists Y such that Y is an instance of hole and X is a part of Y
(=>
    (partiallyFills ?OBJ ?HOLE1)
    (exists (?HOLE2)
        (and
            (part ?HOLE2 ?HOLE1)
            (completelyFills ?OBJ ?HOLE2))))		 Merge.kif 10212-10217 If X partially fills Y, then there exists Z such that Z is a part of Y and X completely fills Z
(=>
    (properlyFills ?OBJ ?HOLE1)
    (exists (?HOLE2)
        (and
            (part ?HOLE2 ?HOLE1)
            (fills ?OBJ ?HOLE2))))		 Merge.kif 10219-10224 If X properly fills Y, then there exists Z such that Z is a part of Y and X fills Z
(=>
    (completelyFills ?OBJ1 ?HOLE)
    (exists (?OBJ2)
        (and
            (part ?OBJ2 ?OBJ1)
            (fills ?OBJ2 ?HOLE))))		 Merge.kif 10240-10245 If X completely fills Y, then there exists Z such that Z is a part of X and Z fills Y
(=>
    (and
        (instance ?DEATH Death)
        (instance ?ORG Organism)
        (experiencer ?DEATH ?ORG))
    (exists (?REM ?OBJ)
        (and
            (result ?DEATH ?REM)
            (instance ?REM OrganicObject)
            (holdsDuring
                (FutureFn
                    (WhenFn ?DEATH))
                (attribute ?REM Dead))
            (=>
                (holdsDuring
                    (ImmediateFutureFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?REM))
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?DEATH))
                    (part ?OBJ ?ORG))))))		 Merge.kif 10450-10469 If X is an instance of death, Y is an instance of organism, and Y experiences X, then there exist Z and W such that Z is a result of X and Z is an instance of organic object and dead is an attribute of Z holds during after the time of existence of X and W is a part of Z holds during immediately after the time of existence of XW is a part of Y holds during immediately before the time of existence of X
(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))		 Merge.kif 10641-10649 If X is an instance of pathologic process and Y experiences X, then there exist Z, W such that Z is a part of Y, W is an instance of disease or syndrome, and W is an attribute of Z
(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))		 Merge.kif 12530-12539 If X is an instance of therapeutic process and Y is a patient of X, then Y is an instance of organism or there exists Z such that Z is an instance of organism and Y is a part of Z
(<=>
    (and
        (instance ?COMBINE Combining)
        (resource ?COMBINE ?OBJ1)
        (result ?COMBINE ?OBJ2))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?COMBINE))
            (not
                (part ?OBJ1 ?OBJ2)))
        (holdsDuring
            (EndFn
                (WhenFn ?COMBINE))
            (part ?OBJ1 ?OBJ2))))		 Merge.kif 12756-12763 X is an instance of combining, Y is a resource for X, Z is a result of X if, only if Y is not a part of Z holds during the beginning of the time of existence of X, and Y is a part of Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?COLORING Coloring)
        (patient ?COLORING ?OBJ))
    (exists (?PROPERTY ?PART)
        (and
            (part ?PART ?OBJ)
            (instance ?PROPERTY ColorAttribute)
            (or
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?COLORING))
                        (attribute ?PART ?PROPERTY))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?COLORING))
                        (not
                            (attribute ?PART ?PROPERTY))))
                (and
                    (holdsDuring
                        (BeginFn
                            (WhenFn ?COLORING))
                        (not
                            (attribute ?PART ?PROPERTY)))
                    (holdsDuring
                        (EndFn
                            (WhenFn ?COLORING))
                        (attribute ?PART ?PROPERTY)))))))		 Merge.kif 12926-12940 If X is an instance of coloring and Y is a patient of X, then there exist Z and W such that W is a part of Y and Z is an instance of color attribute and Z is an attribute of W holds during the beginning of the time of existence of X and Z is not an attribute of W holds during the end of the time of existence of X or Z is not an attribute of W holds during the beginning of the time of existence of X and Z is an attribute of W holds during the end of the time of existence of X
(=>
    (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
                (BeginFn
                    (WhenFn ?PROCESS))
                (attribute ?PART ?STATE1))
            (holdsDuring
                (EndFn
                    (WhenFn ?PROCESS))
                (attribute ?PART ?STATE2)))))		 Merge.kif 14066-14077 If X is an instance of state change and Y is a patient of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is a part of Y (3) W is an instance of physical state (4) V is an instance of physical state (5) equal W (6) V (7) W is an attribute of Z holds during the beginning of the time of existence of X (8) V is an attribute of Z holds during the end of the time of existence of X
(=>
    (atomicNumber ?TYPE ?NUMBER)
    (=>
        (and
            (instance ?SUBSTANCE ?TYPE)
            (part ?ATOM ?SUBSTANCE)
            (instance ?ATOM Atom))
        (equal ?NUMBER
            (CardinalityFn
                (KappaFn ?PROTON
                    (and
                        (part ?PROTON ?ATOM)
                        (instance ?PROTON Proton)))))))		 Merge.kif 14087-14099 Assuming X is an atomic number of Y, it follows that: if Z is an instance of Y, W is a part of Z, and W is an instance of atom, then equal X and the number of instances in the class described by V

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


(part NewEngland UnitedStates) CountriesAndRegions.kif 30-30 New england is a part of united states
(part ParisFrance France) CountriesAndRegions.kif 55-55 Paris is a part of france
(part Morocco Africa) CountriesAndRegions.kif 126-126 Morocco is a part of africa
(part Australia Oceania) CountriesAndRegions.kif 662-662 Australia is a part of oceania
(part AtlantaGeorgia Georgia) CountriesAndRegions.kif 711-711 Atlanta georgia is a part of georgia
(part BaltimoreMaryland Maryland) CountriesAndRegions.kif 714-714 Baltimore maryland is a part of maryland
(part BostonMassachusetts Massachusetts) CountriesAndRegions.kif 724-724 Boston, Massachusetts is a part of massachusetts
(part KansasCityMissouri Missouri) CountriesAndRegions.kif 728-728 Kansas city missouri is a part of missouri
(part ManchesterNewHampshire NewHampshire) CountriesAndRegions.kif 731-731 Manchester new hampshire is a part of new hampshire
(part MemphisTennessee Tennessee) CountriesAndRegions.kif 733-733 Memphis tennessee is a part of tennessee
(part MinneapolisMinnesota Minnesota) CountriesAndRegions.kif 737-737 Minneapolis minnesota is a part of minnesota
(part MississippiRiver UnitedStates) CountriesAndRegions.kif 740-740 Mississippi river is a part of united states
(part MontrealCanada Canada) CountriesAndRegions.kif 746-746 Montreal canada is a part of canada
(part NashvilleTennessee Tennessee) CountriesAndRegions.kif 753-753 Nashville tennessee is a part of tennessee
(part PhiladelphiaPennsylvania Pennsylvania) CountriesAndRegions.kif 763-763 Philadelphia pennsylvania is a part of pennsylvania
(part PittsburghPennsylvania Pennsylvania) CountriesAndRegions.kif 766-766 Pittsburgh pennsylvania is a part of pennsylvania
(part SaintLouisMissouri Missouri) CountriesAndRegions.kif 783-783 Saint louis missouri is a part of missouri
(part SanFranciscoCalifornia California) CountriesAndRegions.kif 791-791 San francisco california is a part of california
(part SavannahGeorgia Georgia) CountriesAndRegions.kif 795-795 Savannah georgia is a part of georgia
(part Scotland UnitedKingdom) CountriesAndRegions.kif 799-799 Scotland is a part of united kingdom
(part LongIsland NewYorkState) CountriesAndRegions.kif 805-805 Long island is a part of new york state
(part LosAngelesCalifornia California) CountriesAndRegions.kif 810-810 Los angeles california is a part of california
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 Korean peninsula is a part of asia
(part HoustonTexas Texas) CountriesAndRegions.kif 828-828 Houston texas is a part of texas
(part HudsonRiver NewYorkState) CountriesAndRegions.kif 832-832 Hudson river is a part of new york state

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners