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 | 域 基數, 1 and SetOrClass |
No TPTP formula. May not be expressible in strict first order. | Government.kif 437-437 | 域 基數, 2 and NonnegativeInteger |
No TPTP formula. May not be expressible in strict first order. | Government.kif 435-435 | 例 基數 and BinaryPredicate |
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 | GeographicArea 是 對於 NonnegativeInteger 在地區 延期 機場有著鋪設跑道 的 total 設施類別 SymbolicString entity NonnegativeInteger 是 卡帕 SymbolicString and 例 SymbolicString and 飛機場 例 entity and 鋪好的跑道 部分 entity and SymbolicString 位於 SymbolicString and GeographicArea 的 cardinality |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1221-1228 | GeographicArea 是 對於 NonnegativeInteger 在地區 Class 的 total 設施類別 NonnegativeInteger 是 卡帕 SymbolicString and 例 SymbolicString and Class 位於 SymbolicString and GeographicArea 的 cardinality |
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 是 延期 發達國家 的 cardinality |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 613-613 | 126 是 延期 發展中國家 的 cardinality |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 405-405 | 42 是 延期 最不發達國家 的 cardinality |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 229-229 | 172 是 延期 較未發達國家 的 cardinality |
![]() |
![]() |