TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7089-7089
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7086-7087
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7091-7091	Micrometer e' uma instancia de UnitOfLength

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7095-7095
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7093-7093

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 7524-7530	Objeto auto-conectado e' uma instancia de LiquidDrop approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 500.0 e' menos que Numero Real Objeto auto-conectado e' uma instancia de Droplet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7440-7451	Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 10.0 e' maior que Numero Real Numero Real e' maior que 2.5 Objeto10 Objeto10 e' uma instancia de CoarseParticulateMatter Objeto10 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7469-7479	Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) Numero Real e' maior ou igual a 2.5 Objeto25 Objeto25 e' uma instancia de FineParticulateMatter Objeto25 e' uma &parte de Objeto

consequent

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

Geography.kif 7413-7422

statement

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

Geography.kif 7097-7100