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 | 域 區域總設施類型, 1 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1214-1214 | 域 區域總設施類型, 2 and Class |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1215-1215 | 域 區域總設施類型, 3 and NonnegativeInteger |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1212-1212 | 例 區域總設施類型 and TernaryPredicate |
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 |
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. | Transportation.kif 1482-1491 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1237-1245 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1289-1296 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1230-1235 |
|