Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  physicalEnd

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 1647-1648
(domain physicalEnd 1 Object) Mid-level-ontology.kif 1649-1649 The number 1 argument of physicalEnd is an instance of object
(domain physicalEnd 2 Object) Mid-level-ontology.kif 1650-1650 The number 2 argument of physicalEnd is an instance of object
(instance physicalEnd BinaryPredicate) Mid-level-ontology.kif 1644-1644 physicalEnd is an instance of binary predicate
(subrelation physicalEnd properPart) Mid-level-ontology.kif 1645-1645 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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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