totalFacilityTypeInArea |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1216-1219 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1213-1213 | O argumento numero 1 de totalFacilityTypeInArea e' uma instancia de Area Geografica |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1214-1214 | O argumento numero 2 de totalFacilityTypeInArea e' uma instancia de Classe |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1215-1215 | O argumento numero 3 de totalFacilityTypeInArea e' uma instancia de Numero Inteiro nao-negativo |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1212-1212 | totalFacilityTypeInArea e' uma instancia de Predicado Ternario |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2491-2491 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2490-2490 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 2489-2489 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58550-58550 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58549-58549 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58548-58548 |
antecedent |