physicalEnd - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - physicalEnd

physicalEnd

appearance as argument number 1

(documentation physicalEnd EnglishLanguage "A notion of an indeterminate portion at the end of an Object that has a LongAndThin ShapeAttribute.")	Mid-level-ontology.kif 1648-1649
(domain physicalEnd 1 Object)	Mid-level-ontology.kif 1650-1650	The number 1 argument of physicalEnd is an instance of object
(domain physicalEnd 2 Object)	Mid-level-ontology.kif 1651-1651	The number 2 argument of physicalEnd is an instance of object
(instance physicalEnd BinaryPredicate)	Mid-level-ontology.kif 1645-1645	physicalEnd is an instance of binary predicate
(subrelation physicalEnd properPart)	Mid-level-ontology.kif 1646-1646	physicalEnd is a subrelation of proper part

appearance as argument number 2

(format EnglishLanguage physicalEnd "one end of %2 is %1")

Mid-level-ontology.kif 1647-1647

antecedent

(=> (and (instance ?L Lever) (instance ?P Pushing) (instance ?M1 Motion) (destination ?P ?E1) (physicalEnd ?E1 ?L) (physicalEnd ?E2 ?L) (not (equal ?E1 ?E2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E1 ?P1)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E1 ?P2)) (holdsDuring (ImmediatePastFn (WhenFn ?M1)) (located ?E2 ?P3)) (holdsDuring (ImmediateFutureFn (WhenFn ?M1)) (located ?E2 ?P4)) (distance ?P1 ?P2 ?D1) (distance ?P3 ?P4 ?D2)) (greaterThan ?D2 ?D1))	Mid-level-ontology.kif 1720-1740	If an object is an instance of lever and a process is an instance of pushing and a physical is an instance of motion and the process ends up at another object and one end of the object is the other object and one end of the object is a third object and the other object is not equal to the third object and the other object is located at the process1 holds during immediately before the time of existence of the physical and the other object is located at the process2 holds during immediately after the time of existence of the physical and the third object is located at the process3 holds during immediately before the time of existence of the physical and the third object is located at the process4 holds during immediately after the time of existence of the physical and the distance between the process1 and the process2 is a length measure and the distance between the process3 and the process4 is another length measure, then the other length measure is greater than the length measure
(=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP))	Mid-level-ontology.kif 1680-1684	If one end of an object is another object and a third object is a superficial part of the object, then the other object meets the third object
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1671-1678	If one end of an object is another object and one end of the object is a third object and the other object is not equal to the third object, then the other object doesn't meet the third object
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1662-1669	If one end of an object is another object and one end of the object is a third object and the other object is not equal to the third object, then overlaps spatially the other object and the third object
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (part ?P1 ?E1) (part ?P2 ?E2) (distance ?P1 ?P2 ?D1) (not (equal ?E1 ?E2))) (not (exists (?OP1 ?OP2 ?D2) (and (not (part ?OP1 ?E1)) (not (part ?OP2 ?E2)) (distance ?OP1 ?OP2 ?D2) (greaterThan ?D2 ?D1)))))	Mid-level-ontology.kif 1686-1703	If one end of an object is another object and one end of the object is a third object and a fourth object is a part of the other object and a fifth object is a part of the third object and the distance between the fourth object and the fifth object is a length measure and the other object is not equal to the third object, then there don't exist the objectP1, the objectP2 and another length measure such that the objectP1 is not a part of the other object and the objectP2 is not a part of the third object and the distance between the objectP1 and the objectP2 is the other length measure and the other length measure is greater than the length measure
(=> (physicalEnd ?E ?O) (attribute ?O LongAndThin))	Mid-level-ontology.kif 1653-1655	If one end of an object is another object, then long and thin is an attribute of the object
(=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin)))	Mid-level-ontology.kif 1657-1660	If one end of an object is another object, then long and thin is not an attribute of the other object

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 is open source software produced by Articulate Software and its partners