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 | groundSubsurfaceType Mountain and Rock |