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	Le nombre 1 argument de groundSubsurfaceType est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4286-4286	Le nombre 2 argument de groundSubsurfaceType est une sous-classe de substance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4281-4281	groundSubsurfaceType est une instance de pr�dicat binaire

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