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 | The number 1 argument of cardinality is an instance of set or class |
No TPTP formula. May not be expressible in strict first order. | Government.kif 437-437 | The number 2 argument of cardinality is an instance of nonnegative integer |
No TPTP formula. May not be expressible in strict first order. | Government.kif 435-435 | cardinality is an instance of binary predicate |
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 | A geographic area is total facility type in area the class corresponding to airport with paved runway for a nonnegative integer if and only if there exist a symbolic string and an entity such that the nonnegative integer is a cardinality of the class described by the symbolic string |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1221-1228 | A geographic area is total facility type in area a class for a nonnegative integer if and only if the nonnegative integer is a cardinality of the class described by a symbolic string |
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 | 35 is a cardinality of the class corresponding to developed country |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 613-613 | 126 is a cardinality of the class corresponding to developing country |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 405-405 | 42 is a cardinality of the class corresponding to least developed country |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 229-229 | 172 is a cardinality of the class corresponding to less developed country |