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 1257-1258
(domain physicalEnd 1 Object) Merge.kif 17934-17934 Le nombre 1 argument de physicalEnd est une instance de objet
(domain physicalEnd 2 Object) Merge.kif 17935-17935 Le nombre 2 argument de physicalEnd est une instance de objet
(instance physicalEnd BinaryPredicate) Mid-level-ontology.kif 1254-1254 physicalEnd est une instance de pr�dicat binaire
(instance physicalEnd BinaryRelation) Merge.kif 17933-17933 physicalEnd est une instance de relation binaire
(subrelation physicalEnd part) Merge.kif 17941-17941 physicalEnd est une sous-relation de part
(subrelation physicalEnd properPart) Mid-level-ontology.kif 1255-1255 physicalEnd est une sous-relation de properPart

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


(format EnglishLanguage physicalEnd "one end of %2 is %1") Merge.kif 17940-17940
(termFormat EnglishLanguage physicalEnd "physical end") Merge.kif 17939-17939

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


(=>
    (and
        (instance ?L Lever)
        (instance ?P Pushing)
        (instance ?M1 Motion)
        (instance ?U UnitOfLength)
        (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
            (MeasureFn ?D1 ?U))
        (distance ?P3 ?P4
            (MeasureFn ?D2 ?U)))
    (greaterThan ?D2 ?D1))
Mid-level-ontology.kif 1332-1355
(=>
    (and
        (muscleInsertion ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (not
            (located ?E ?L))))
Anatomy.kif 1758-1780
(=>
    (and
        (muscleOrigin ?MC ?BPC)
        (instance ?H Human)
        (holdsDuring ?T
            (attribute ?H StandardAnatomicalPosition))
        (attribute ?H Healthy)
        (instance ?C MuscularContraction)
        (during
            (WhenFn ?C) ?T)
        (instance ?M ?MC)
        (part ?M ?H)
        (instrument ?C ?M)
        (physicalEnd ?E ?M)
        (meetsSpatially ?E ?BP)
        (holdsDuring
            (BeginFn ?C)
            (located ?E ?L)))
    (holdsDuring
        (EndFn ?C)
        (located ?E ?L)))
Anatomy.kif 1708-1729
(=>
    (and
        (physicalEnd ?E ?O)
        (superficialPart ?SP ?O))
    (meetsSpatially ?E ?SP))
Mid-level-ontology.kif 1289-1293
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (meetsSpatially ?E1 ?E2)))
Mid-level-ontology.kif 1280-1287
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (not
            (equal ?E1 ?E2)))
    (not
        (overlapsSpatially ?E1 ?E2)))
Mid-level-ontology.kif 1271-1278
(=>
    (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 1295-1315
(=>
    (and
        (physicalEnd ?P1 ?O)
        (physicalEnd ?P2 ?O)
        (not
            (equal ?P1 ?P2))
        (distance ?P1 ?P2
            (MeasureFn ?D ?U)))
    (not
        (exists (?OP1 ?OP2 ?N2)
            (and
                (physicalEnd ?OP1 ?O)
                (physicalEnd ?OP2 ?O)
                (not
                    (equal ?OP1 ?OP2))
                (distance ?OP1 ?OP2
                    (MeasureFn ?N2 ?U))
                (greaterThan ?N2 ?D)))))
Merge.kif 17947-17962
(=>
    (and
        (relativeAngle ?O1 ?O2 ?N)
        (physicalEnd ?E1 ?O1)
        (physicalEnd ?E2 ?O1)
        (not
            (equal ?E1 ?E2))
        (length ?O1
            (MeasureFn ?N1 ?U))
        (length ?O2
            (MeasureFn ?N2 ?U))
        (distance ?E1 ?E3
            (MeasureFn ?N3 ?U))
        (physicalEnd ?E3 ?O2)
        (physicalEnd ?E4 ?O2)
        (not
            (equal ?E3 ?E4))
        (not
            (meetsSpatially ?E1 ?E3)))
    (equal ?N
        (ArcCosineFn
            (DivisionFn
                (SubtractionFn
                    (SubtractionFn
                        (MultiplicationFn ?N3 ?N3)
                        (MultiplicationFn ?N1 ?N1))
                    (MultiplicationFn ?N2 ?N2))
                (MultiplicationFn 2.0
                    (MultiplicationFn ?N1 ?N2))))))
Merge.kif 17906-17931
(=>
    (physicalEnd ?E ?O)
    (attribute ?O LongAndThin))
Mid-level-ontology.kif 1262-1264
(=>
    (physicalEnd ?E ?O)
    (not
        (attribute ?E LongAndThin)))
Mid-level-ontology.kif 1266-1269
(=>
    (physicalEnd ?P1 ?O)
    (attribute ?O LongAndThin))
Merge.kif 17943-17945

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


(=>
    (and
        (physicalEnd ?P1 ?O)
        (physicalEnd ?P2 ?O)
        (not
            (equal ?P1 ?P2))
        (distance ?P1 ?P2
            (MeasureFn ?D ?U)))
    (not
        (exists (?OP1 ?OP2 ?N2)
            (and
                (physicalEnd ?OP1 ?O)
                (physicalEnd ?OP2 ?O)
                (not
                    (equal ?OP1 ?OP2))
                (distance ?OP1 ?OP2
                    (MeasureFn ?N2 ?U))
                (greaterThan ?N2 ?D)))))
Merge.kif 17947-17962


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