TreeView Knowledge Base Browser

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 17956-17956	Le nombre 1 argument de physicalEnd est une instance de objet
(domain physicalEnd 2 Object)	Merge.kif 17957-17957	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 17955-17955	physicalEnd est une instance de relation binaire
(subrelation physicalEnd part)	Merge.kif 17963-17963	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 17962-17962
(termFormat EnglishLanguage physicalEnd "physical end")	Merge.kif 17961-17961

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	Objet est une instance de Lever processus est une instance de Pushing physique est une instance de d�palcement unit� de mesure est une instance de UnitOfLength processus aboutit � objet physicalEnd objet and objet physicalEnd objet and objet objet est objet objet est situ� � processus1 pendant immediatement avant temps d'existence de physique objet est situ� � processus2 pendant immediatement apr�s temps d'existence de physique objet est situ� � processus3 pendant immediatement avant temps d'existence de physique objet est situ� � processus4 pendant immediatement apr�s temps d'existence de physique la distance entre processus1 et processus2 est nombre r�el unit� de mesure(s) la distance entre processus3 et processus4 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
(=> (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	muscleInsertion muscle and partie du corps objet est une instance de humain StandardAnatomicalPosition est un attribut de objet pendant interval temporel Healthy est un attribut de objet interval temporel est une instance de MuscularContraction temps d'existence de interval temporel prend place pendant interval temporel objet est une instance de muscle objet est une partie de objet objet est un instrument pour interval temporel physicalEnd objet and objet objet rencontre objet objet est situ� � entit� pendant le d�but de interval temporel objet est situ� � entit� pendant la fin de interval temporel
(=> (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	muscleOrigin muscle and partie du corps objet est une instance de humain StandardAnatomicalPosition est un attribut de objet pendant interval temporel Healthy est un attribut de objet interval temporel est une instance de MuscularContraction temps d'existence de interval temporel prend place pendant interval temporel objet est une instance de muscle objet est une partie de objet objet est un instrument pour interval temporel physicalEnd objet and objet objet rencontre objet objet est situ� � entit� pendant le d�but de interval temporel objet est situ� � entit� pendant la fin de interval temporel
(=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP))	Mid-level-ontology.kif 1289-1293	physicalEnd objet and objet objet est une partie superficielle de objet objet rencontre objet
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1280-1287	physicalEnd objet and objet physicalEnd objet and objet objet est objet objet ne rencontre %n{pas} objet
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1271-1278	physicalEnd objet and objet physicalEnd objet and objet objet est objet objet ne recouvre %n{pas} objet
(=> (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	physicalEnd objet and objet physicalEnd objet and objet objet est une partie de objet objet est une partie de objet unit� de mesure est une instance de UnitOfLength la distance entre objet et objet est nombre r�el unit� de mesure(s) objet est objet objetP1 objetP2 and nombre r�el objetP1 est une partie de objet objetP2 est une partie de objet la distance entre objetP1 et objetP2 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
(=> (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 17969-17984	physicalEnd objet and objet physicalEnd objet and objet objet est objet la distance entre objet et objet est nombre r�el unit� de mesure(s) objetP1 objetP2 and nombre r�el physicalEnd objetP1 and objet physicalEnd objetP2 and objet objetP1 est objetP2 la distance entre objetP1 et objetP2 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
(=> (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 17928-17953	relativeAngle objet, objet and nombre r�el physicalEnd objet and objet physicalEnd objet and objet objet est objet le longueur de objet est nombre r�el1 unit� de mesure(s) le longueur de objet est nombre r�el2 unit� de mesure(s) la distance entre objet et objet est nombre r�el3 unit� de mesure(s) physicalEnd objet and objet physicalEnd objet and objet objet est objet objet ne rencontre %n{pas} objet nombre r�el est ArcCosineFn (( nombre r�el3 + nombre r�el3 + nombre r�el1 + nombre r�el1) + nombre r�el2 + nombre r�el2) + 2.0 + nombre r�el1 + nombre r�el2
(=> (physicalEnd ?E ?O) (attribute ?O LongAndThin))	Mid-level-ontology.kif 1262-1264	physicalEnd objet and objet LongAndThin est un attribut de objet
(=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin)))	Mid-level-ontology.kif 1266-1269	physicalEnd objet and objet LongAndThin est un attribut de objet
(=> (physicalEnd ?P1 ?O) (attribute ?O LongAndThin))	Merge.kif 17965-17967	physicalEnd objet and objet LongAndThin est un attribut de objet

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 17969-17984

physicalEnd objet and objet physicalEnd objet and objet objet est objet la distance entre objet et objet est nombre r�el unit� de mesure(s)
objetP1 objetP2 and nombre r�el physicalEnd objetP1 and objet physicalEnd objetP2 and objet objetP1 est objetP2 la distance entre objetP1 et objetP2 est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el

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

KB Term:			Term intersection

English Word: