TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4276-4277
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4278-4278	The number 1 argument of ground surface type is an instance of land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4279-4279	The number 2 argument of ground surface type is a subclass of substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4275-4275	ground surface type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1133-1133
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1132-1132
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1131-1131
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26718-26718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26717-26717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26716-26716

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4355-4359	If a land area is an instance of geographic area and loam is a ground surface type of the land area, then fertile terrain is an attribute of the land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1824-1828	If a land area is an instance of geographic area and rock is a ground surface type of the land area, then fertile terrain is not an attribute of the land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4288-4297	If a land area is an instance of land area and a kind of substance is a ground surface type of the land area and another kind of substance is a ground subsurface type of the land area, then there exist an object and another object such that the object is an instance of a kind of substance and the other object is an instance of another kind of substance and the object is above to the other object

consequent

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

Geography.kif 6627-6631

appearance as argument number 0

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

Geography.kif 4040-4040

Rock is a ground surface type of mountain