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	O argumento numero 1 de physicalEnd e' uma instancia de Objeto
(domain physicalEnd 2 Object)	Merge.kif 17957-17957	O argumento numero 2 de physicalEnd e' uma instancia de Objeto
(instance physicalEnd BinaryPredicate)	Mid-level-ontology.kif 1254-1254	physicalEnd e' uma instancia de Predicado Binario
(instance physicalEnd BinaryRelation)	Merge.kif 17955-17955	physicalEnd e' uma instancia de Relacao Binaria
(subrelation physicalEnd part)	Merge.kif 17963-17963	physicalEnd e' uma sub-relacao de part
(subrelation physicalEnd properPart)	Mid-level-ontology.kif 1255-1255	physicalEnd e' uma sub-relacao 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	Objeto e' uma instancia de Lever Processo e' uma instancia de Pushing Fisico e' uma instancia de Movimento Unidade de Medida e' uma instancia de UnitOfLength Processo termina em Objeto physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto e' situado em Processo1 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo2 vale durante imediatemente apos tempo de existencia de Fisico Objeto e' situado em Processo3 vale durante imediatemente antes de tempo de existencia de Fisico Objeto e' situado em Processo4 vale durante imediatemente apos tempo de existencia de Fisico a distancia entre Processo1 e Processo2 e' Numero Real Unidade de Medida(s) a distancia entre Processo3 e Processo4 e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
(=> (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 Musculo and Parte do Corpo Objeto e' uma instancia de Humano StandardAnatomicalPosition e' um atributo de Objeto vale durante Intervalo Temporal Healthy e' um atributo de Objeto Intervalo Temporal e' uma instancia de MuscularContraction tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' um instrumento para Intervalo Temporal physicalEnd Objeto and Objeto Objeto encontra Objeto Objeto e' situado em Entidade vale durante o comeco de Intervalo Temporal Objeto e' situado em Entidade vale durante o fim de Intervalo Temporal
(=> (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 Musculo and Parte do Corpo Objeto e' uma instancia de Humano StandardAnatomicalPosition e' um atributo de Objeto vale durante Intervalo Temporal Healthy e' um atributo de Objeto Intervalo Temporal e' uma instancia de MuscularContraction tempo de existencia de Intervalo Temporal acontece durante Intervalo Temporal Objeto e' uma instancia de Musculo Objeto e' uma &parte de Objeto Objeto e' um instrumento para Intervalo Temporal physicalEnd Objeto and Objeto Objeto encontra Objeto Objeto e' situado em Entidade vale durante o comeco de Intervalo Temporal Objeto e' situado em Entidade vale durante o fim de Intervalo Temporal
(=> (and (physicalEnd ?E ?O) (superficialPart ?SP ?O)) (meetsSpatially ?E ?SP))	Mid-level-ontology.kif 1289-1293	physicalEnd Objeto and Objeto Objeto e' uma parte superficial de Objeto Objeto encontra Objeto
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (meetsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1280-1287	physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto nao encontra %n Objeto
(=> (and (physicalEnd ?E1 ?O) (physicalEnd ?E2 ?O) (not (equal ?E1 ?E2))) (not (overlapsSpatially ?E1 ?E2)))	Mid-level-ontology.kif 1271-1278	physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto nao engloba %n Objeto
(=> (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 Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Unidade de Medida e' uma instancia de UnitOfLength a distancia entre Objeto e Objeto e' Numero Real Unidade de Medida(s) Objeto e' igual a Objeto ObjetoP1 ObjetoP2 and Numero Real ObjetoP1 e' uma &parte de Objeto ObjetoP2 e' uma &parte de Objeto a distancia entre ObjetoP1 e ObjetoP2 e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
(=> (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 Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto a distancia entre Objeto e Objeto e' Numero Real Unidade de Medida(s) ObjetoP1 ObjetoP2 and Numero Real physicalEnd ObjetoP1 and Objeto physicalEnd ObjetoP2 and Objeto ObjetoP1 e' igual a ObjetoP2 a distancia entre ObjetoP1 e ObjetoP2 e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
(=> (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 Objeto, Objeto and Numero Real physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto o comprimento de Objeto e' Numero Real1 Unidade de Medida(s) o comprimento de Objeto e' Numero Real2 Unidade de Medida(s) a distancia entre Objeto e Objeto e' Numero Real3 Unidade de Medida(s) physicalEnd Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto Objeto nao encontra %n Objeto Numero Real e' igual a ArcCosineFn (( Numero Real3 + Numero Real3 + Numero Real1 + Numero Real1) + Numero Real2 + Numero Real2) + 2.0 + Numero Real1 + Numero Real2
(=> (physicalEnd ?E ?O) (attribute ?O LongAndThin))	Mid-level-ontology.kif 1262-1264	physicalEnd Objeto and Objeto LongAndThin e' um atributo de Objeto
(=> (physicalEnd ?E ?O) (not (attribute ?E LongAndThin)))	Mid-level-ontology.kif 1266-1269	physicalEnd Objeto and Objeto LongAndThin e' um atributo de Objeto
(=> (physicalEnd ?P1 ?O) (attribute ?O LongAndThin))	Merge.kif 17965-17967	physicalEnd Objeto and Objeto LongAndThin e' um atributo de Objeto

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 Objeto and Objeto physicalEnd Objeto and Objeto Objeto e' igual a Objeto a distancia entre Objeto e Objeto e' Numero Real Unidade de Medida(s)
ObjetoP1 ObjetoP2 and Numero Real physicalEnd ObjetoP1 and Objeto physicalEnd ObjetoP2 and Objeto ObjetoP1 e' igual a ObjetoP2 a distancia entre ObjetoP1 e ObjetoP2 e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real

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

KB Term:			Term intersection

English Word: