TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2655-2657
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7684-7689
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1372-1375
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7680-7680	O argumento numero 1 de distance e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7681-7681	O argumento numero 2 de distance e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7682-7682	O argumento numero 3 de distance e' uma instancia de Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7676-7676	distance e' uma instancia de Relacao com Valor Unico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7677-7677	distance e' uma instancia de Relacao Espacial
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7678-7678	distance e' uma instancia de Predicado Ternario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7679-7679	distance e' uma instancia de Relacao Total

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 621-621
No TPTP formula. May not be expressible in strict first order.	english_format.kif 624-624
No TPTP formula. May not be expressible in strict first order.	french_format.kif 375-375
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 78-78
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2109-2109
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 327-327
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 112-112
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 815-815
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 397-397
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 417-417
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 171-171
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7725-7725	depth e' uma sub-relacao de distance
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 622-622
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19937-19937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19936-19936
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 172-172

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 874-880	Objeto e' uma instancia de MaritimeClaimsTerritorialSeaFn Regiao a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Fisico e Regiao e' Numero Real Unidade de Medida(s) Numero Real e' menor ou igual a Numero Real Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1417-1436	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto e' uma instancia de Organismo Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1395-1413	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 837-850	Regiao e' uma instancia de UniformPerimeterArea Objeto e' uma &parte de InnerBoundaryFn Regiao Objeto e' uma &parte de OuterBoundaryFn Regiao a distancia entre Objeto e Objeto e' Medida de Comprimento Objeto e' uma &parte de InnerBoundaryFn Regiao Objeto e' uma &parte de OuterBoundaryFn Regiao a distancia entre Objeto e Objeto e' Medida de Comprimento Medida de Comprimento e' igual a Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	Objeto e' Outside em relacao a Regiao Objeto e' uma instancia de PerimeterAreaFn Regiao Objeto e' uma instancia de UniformPerimeterArea a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Regiao e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida ( Numero Real + Numero Real) e' maior que 0.0 Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	Objeto e' Outside em relacao a Regiao Objeto e' uma instancia de PerimeterAreaFn Regiao Objeto e' uma instancia de UniformPerimeterArea a largura de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Regiao e' Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida ( Numero Real + Numero Real) e' menor ou igual a 0.0 Objeto e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11082-11092	Objeto e' o caminho ao longo do qual Movimento ocorre Movimento tem como origem Objeto Movimento termina em Objeto o comprimento de Objeto e' Numero Real Unidade de Medida(s) a distancia entre Objeto e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real Objeto e' uma &parte de Objeto Objeto esta' entre Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17947-17962	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7691-7693	A distancia entre Fisico e Fisico e' Medida de Comprimento a distancia entre Fisico e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9768-9774	Objeto auto-conectado Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado o side de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Objeto auto-conectado e' Medida de Comprimento a largura de Objeto auto-conectado e' Medida de Comprimento

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4711-4720	OpenSea e' um atributo de Objeto Fisico Numero Real Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de LandlockedWater a distancia entre Fisico e Objeto e' Numero Real NauticalMile(s) Numero Real e' maior que 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7718-7723	A altitude de Objeto auto-conectado e' Fisico Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7695-7697	A altitude de Fisico e' Fisico a distancia entre Fisico e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1922-1930	elevation Objeto auto-conectado and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Objeto auto-conectado e' uma instancia de LandForm Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e SeaLevel e' Numero Real Unidade de Medida(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9776-9781	A altura de Objeto auto-conectado e' Medida de Comprimento o topo de Objeto auto-conectado e' Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Objeto auto-conectado e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1943-1965	Processo e' uma instancia de EngineCycle Engine e' uma instancia de InternalCombustionEngine Objeto e' uma instancia de Piston Unidade de Medida e' uma instancia de UnitOfLength Objeto e' uma &parte de Engine Objeto e' um patient de Processo eventLocated Processo and Engine pistonStroke Engine and Numero Real Unidade de Medida(s) Intervalo Temporal Intervalo Temporal, Fisico, Fisico and Numero Real Intervalo Temporal acontece durante tempo de existencia de Processo Intervalo Temporal acontece durante tempo de existencia de Processo Objeto e' situado em Fisico vale durante Intervalo Temporal Objeto e' situado em Fisico vale durante Intervalo Temporal a distancia entre Fisico e Fisico e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1393-1411	Processo e' uma instancia de MovingAwayFromPeople Processo e' um agente de AutonomousAgent Entidade Entidade, Numero Real and Numero Real Entidade e' uma instancia de Humano Entidade e' uma instancia de UnitOfLength a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1427-1445	Processo e' uma instancia de MovingTowardsPeople Processo e' um agente de AutonomousAgent Entidade Entidade, Numero Real and Numero Real Entidade e' uma instancia de Humano Entidade e' uma instancia de UnitOfLength a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente antes de tempo de existencia de Processo a distancia entre Processo e AutonomousAgent e' Numero Real Entidade(s) vale durante imediatemente apos tempo de existencia de Processo Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Military.kif 759-769	Processo e' uma instancia de Pulling Processo e' um agente de AutonomousAgent ProcessoULLED e' um patient de Processo Processo termina em Entidade a distancia entre AutonomousAgent e Entidade e' Entidade a distancia entre ProcessoULLED e Entidade e' Entidade Entidade e' maior que Entidade vale durante Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17638-17656	Intervalo Temporal e' uma instancia de Pulling Intervalo Temporal tem como origem Objeto Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent e' situado em AutonomousAgentLOC vale durante o comeco de Intervalo Temporal Intervalo Temporal termina em Entidade Entidade Entidade and Entidade a distancia entre AutonomousAgentLOC e Entidade e' Entidade Entidade(s) a distancia entre AutonomousAgentLOC e Objeto e' Entidade Entidade(s) Entidade e' maior que Entidade vale durante imediatemente apos o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17616-17634	Intervalo Temporal e' uma instancia de Pushing Intervalo Temporal tem como origem Objeto Intervalo Temporal e' um agente de AutonomousAgent AutonomousAgent e' situado em AutonomousAgentLOC vale durante o comeco de Intervalo Temporal Intervalo Temporal termina em Entidade Entidade Entidade and Entidade a distancia entre AutonomousAgentLOC e Entidade e' Entidade Entidade(s) a distancia entre AutonomousAgentLOC e Objeto e' Entidade Entidade(s) Entidade e' maior que Entidade vale durante imediatemente apos o comeco de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	Processo e' uma instancia de TropicalCyclone Processo termina em Fisico Fisico e' uma instancia de Area Geografica Objeto Fisico and Numero Real Objeto e' uma instancia de Area terrestre Fisico e' uma instancia de Shoreline Fisico e' situado em Objeto a distancia entre Objeto e Fisico e' Numero Real Mile(s) Numero Real e' maior que 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4697-4703	AntarcticCircumpolarCurrent tem como origem Objeto AntarcticCircumpolarCurrent termina em Fisico a distancia entre Objeto e Fisico e' 21000.0 1 mil Meters(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	physicalAmplitude Tremor and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfLength Entidade e' um patient de Tremor Fisico Fisico, Tremor1, Tremor2 and Numero Real2 Tremor1 acontece durante tempo de existencia de Tremor Tremor2 acontece durante tempo de existencia de Tremor Entidade e' situado em Fisico vale durante Tremor1 Entidade e' situado em Fisico vale durante Tremor2 a distancia entre Fisico e Fisico e' Numero Real2 Unidade de Medida(s) Numero Real2 e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	physicalAmplitude Tremor and Medida de Comprimento Entidade e' um patient de Tremor Fisico Fisico, Tremor1 and Tremor2 Tremor1 acontece durante tempo de existencia de Tremor Tremor2 acontece durante tempo de existencia de Tremor Entidade e' situado em Fisico vale durante Tremor1 Entidade e' situado em Fisico vale durante Tremor2 a distancia entre Fisico e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17947-17962	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2728-2748	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Intervalo Temporal e' uma instancia de DayTime Processo e' uma instancia de Looking Objeto e' uma instancia de Objeto color Objeto and Black Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto eventLocated Processo and Regiao tempo de existencia de Processo acontece durante Intervalo Temporal Objeto e' uma instancia de Objeto Numero Real a distancia entre AutonomousAgent e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2750-2771	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Intervalo Temporal e' uma instancia de NightTime Processo e' uma instancia de Looking Objeto e' uma instancia de Regiao Illuminated e' um atributo de Objeto a medida de Objeto e' 1000.0 Candela(s) Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto eventLocated Processo and Regiao tempo de existencia de Processo acontece durante Intervalo Temporal Objeto e' uma instancia de Objeto Numero Real a distancia entre AutonomousAgent e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2709-2726	visibilityInMeteorology Regiao, Intervalo Temporal and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de Unidade de Medida Processo AutonomousAgent, Objeto and Numero Real Processo e' uma instancia de Looking Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo AutonomousAgent e' Horizontal em relacao a Objeto tempo de existencia de Processo acontece durante Intervalo Temporal eventLocated Processo and Regiao a distancia entre AutonomousAgent e Objeto e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7740-7745	depth Objeto auto-conectado, Fisico and Medida de Comprimento Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado a distancia entre Objeto auto-conectado e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7691-7693	A distancia entre Fisico e Fisico e' Medida de Comprimento a distancia entre Fisico e Fisico e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1914-1920	elevation Objeto and Medida de Comprimento Objeto Objeto e' uma &parte de SeaLevel Objeto e' Vertical em relacao a Objeto a distancia entre Objeto e Objeto e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Geography.kif 825-828	Regiao e' uma instancia de UniformPerimeterArea Medida de Comprimento a distancia entre InnerBoundaryFn Regiao e OuterBoundaryFn Regiao e' Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1420-1440	waveHeight WaterWave and Medida de Comprimento Objeto Objeto, Objeto and Unidade de Medida Objeto e' uma instancia de BodyOfWater eventLocated WaterWave and Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto a distancia entre Objeto e Objeto e' Medida de Comprimento Objeto ObjetoH Objeto e' uma &parte de Objeto a altitude de Objeto e' Objeto ObjetoH e' maior que 0.0 Objeto ObjetoH Objeto e' uma &parte de Objeto a altitude de Objeto e' Objeto ObjetoH e' maior que 0.0

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

KB Term:			Term intersection

English Word: