cardinality |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 439-440 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 436-436 | Le nombre 1 argument de cardinality est une instance de ensemble ou classe |
No TPTP formula. May not be expressible in strict first order. | Government.kif 437-437 | Le nombre 2 argument de cardinality est une instance de nombre entier non n�gatif |
No TPTP formula. May not be expressible in strict first order. | Government.kif 435-435 | cardinality 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 376-376 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 375-375 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 374-374 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13206-13206 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13205-13205 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13204-13204 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Government.kif 442-444 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1277-1287 | totalFacilityTypeInArea secteur g�ographique, la classe correspondant � AirportWithPavedRunway and nombre entier non n�gatif cha�ne sympbolique entit� cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1221-1228 | totalFacilityTypeInArea secteur g�ographique, classe and nombre entier non n�gatif cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif |
No TPTP formula. May not be expressible in strict first order. | Government.kif 446-450 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 144-144 | cardinality la classe correspondant � DevelopedCountry and 35 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 613-613 | cardinality la classe correspondant � DevelopingCountry and 126 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 405-405 | cardinality la classe correspondant � LeastDevelopedCountry and 42 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 229-229 | cardinality la classe correspondant � LessDevelopedCountry and 172 |