cardinality |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 403-404 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 400-400 | 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 401-401 | 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 399-399 | 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 406-408 |
|
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 410-414 |
|
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 |