TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2775-2776
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2778-2778	O argumento numero 1 de earthAltitude e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2779-2779	O argumento numero 2 de earthAltitude e' uma instancia de Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2777-2777	earthAltitude e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3290-3290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3289-3289
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3288-3288
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65817-65817

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2781-2786	earthAltitude Objeto and Medida de Comprimento Objeto auto-conectado a altitude de Objeto e' Objeto auto-conectado Objeto auto-conectado e' uma superficie de PlanetEarth
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4247-4257	Objeto e' uma instancia de Basin Objeto e' uma instancia de Area terrestre Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto e' Adjacent em relacao a Objeto Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3999-4010	Objeto e' uma instancia de UndergroundArea Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto auto-conectado e' uma superficie de PlanetEarth Objeto e' uma &parte de Objeto auto-conectado Objeto e' Below em relacao a Objeto earthAltitude Objeto and 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 4231-4241	Objeto e' uma instancia de Valley Objeto e' uma instancia de Area terrestre Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto e' Adjacent em relacao a Objeto Numero Real e' maior que Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.

Geography.kif 4107-4118

Objeto auto-conectado e' uma instancia de SlopedArea
Objeto auto-conectado Objeto auto-conectado, Numero Real, Numero Real and Unidade de Medida o topo de Objeto auto-conectado e' Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto auto-conectado and Numero Real Unidade de Medida(s) earthAltitude Objeto auto-conectado and Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

Geography.kif 2793-2793

earthAltitude OzoneShield and 25.0 Mile(s)

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

KB Term:			Term intersection

English Word: