| 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 1647-1648 | |
| (domain physicalEnd 1 Object) | Mid-level-ontology.kif 1649-1649 | |
| (domain physicalEnd 2 Object) | Mid-level-ontology.kif 1650-1650 | |
| (instance physicalEnd BinaryPredicate) | Mid-level-ontology.kif 1644-1644 | |
| (subrelation physicalEnd properPart) | Mid-level-ontology.kif 1645-1645 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage physicalEnd "one end of %2 is %1") | Mid-level-ontology.kif 1646-1646 |
| 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 1719-1739 | |
| (=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP)) |
Mid-level-ontology.kif 1679-1683 | |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1670-1677 | |
| (=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2))) |
Mid-level-ontology.kif 1661-1668 | |
| (=> (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 1685-1702 | |
| (=> (physicalEnd ?E ?O) (attribute ?O LongAndThin)) |
Mid-level-ontology.kif 1652-1654 | |
| (=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin))) |
Mid-level-ontology.kif 1656-1659 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners