CardinalityFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2309-2309 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5511-5513 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 980-981 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | 域 基數, 1 and 聯盟 SetOrClass and Collection |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5507-5507 | 例 基數 and UnaryFunction |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5509-5509 | 範圍 基數 and Integer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 506-506 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 511-511 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 296-296 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 41-41 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2073-2073 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 248-248 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 75-75 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 659-659 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 83-83 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 317-317 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 324-324 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 98-98 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 507-507 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13212-13212 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13211-13211 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13210-13210 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 99-99 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1007-1011 | 例 Entity and 個人賬戶 比較多 基數 卡帕 SymbolicString and SymbolicString 持有 account Entity and 1 例 Entity and 聯名賬戶 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8045-8052 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3239-3259 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3282-3302 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 446-450 |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | 例 年 and 年 Integer 等於 GeopoliticalArea 和 年 每個女人生的 children and 基數 卡帕 SymbolicString and 例 entity and Birth 體驗者 entity and SymbolicString agent entity and entity 例 entity and Human attribute entity and 女 持有期間 年 and 棲息 entity and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | 等於 GeopoliticalArea 的 available 軍事服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14182-14182 | 等於 基數 Continent and 7 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2003-2003 | 等於 基數 NativityMagi and 3 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 等於 GeopoliticalArea 的 fit 對於軍服務男性 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 子類 entity and MilitaryProcess entity 是 SymbolicString 的 fit 軍事服務 entity 是 GeopoliticalArea 的 military 年紀 年齡 SymbolicString and entity 大於或等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31734-31739 | 等於 OrganismPopulationFn Organism and GeographicArea and 基數 卡帕 OrganismI and 例 OrganismI and Organism 位於 OrganismI and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31712-31717 | 等於 GeopoliticalArea 的 population and 基數 卡帕 SymbolicString and 例 SymbolicString and Human 棲息 SymbolicString and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | 等於 GeopoliticalArea 和 年 每年的 reaching 軍事男性年齡 and 基數 卡帕 SymbolicString and 例 SymbolicString and Human attribute SymbolicString and 男 entity 是 GeopoliticalArea 的 military 年紀 等於 entity and 減法 entity and 1 持有期間 年 and 年齡 SymbolicString and entity 年齡 SymbolicString and entity 等於 entity and entity 棲息 SymbolicString and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1965-1965 | 大於或等於 基數 TwelveApostles and 11 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1966-1966 | 小於或等於 基數 TwelveApostles and 12 |