TreeView Knowledge Base Browser - groundSubsurfaceType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4282-4284
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4285-4285	O argumento numero 1 de groundSubsurfaceType e' uma instancia de Area terrestre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4286-4286	O argumento numero 2 de groundSubsurfaceType e' uma sub-classe de Substancia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4281-4281	groundSubsurfaceType e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1128-1128
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1127-1127
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26712-26712
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26711-26711
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26710-26710

antecedent

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

Geography.kif 4288-4297

appearance as argument number 0

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

Geography.kif 4041-4041