partition |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1447-1447 | 劃分 HumanLanguage, NaturalLanguage and ConstructedLanguage |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1448-1448 | 劃分 HumanLanguage, 口語人類語言 and 手動人類語言 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1956-1956 | 劃分 Integer, NegativeInteger and NonnegativeInteger |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1955-1955 | 劃分 Integer, OddInteger and EvenInteger |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14710-14710 | 劃分 液體混合物, Solution and 懸掛 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 541-541 | 劃分 低壓天氣系統 and 高壓天氣系統 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13703-13703 | 劃分 MakingMusic, MakingInstrumentalMusic and 聲樂 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14925-14925 | 劃分 敘述文本, 虛構的文字 and 歷史記錄 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1825-1825 | 劃分 Number, RealNumber, ImaginaryNumber and ComplexNumber |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14348-14348 | 劃分 OrganicObject, Organism and AnatomicalStructure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14357-14357 | 劃分 Organism, Animal, Plant, Fungus and Microorganism |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7405-7405 | 劃分 ParticulateMatter, CoarseParticulateMatter and FineParticulateMatter |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1286-1286 | 劃分 Phalanx, ToeBone and FingerBone |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 833-833 | 劃分 Physical, Object and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2026-2026 | 劃分 PhysicalQuantity, ConstantQuantity and FunctionQuantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7030-7030 | 劃分 商業地點, 商業建築 and 商業單位 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19537-19537 | 劃分 政治經濟屬性, 政體 and 經濟屬性 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16723-16723 | 劃分 中學後, 大專, 學院 and 大學 |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 314-314 | 劃分 蛋白質結構屬性, 蛋白質結構屬性複合 and 蛋白質結構屬性原始 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18258-18258 | 劃分 PsychologicalAttribute, StateOfMind and TraitAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1085-1085 | 劃分 PureSubstance, CompoundSubstance and ElementalSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2872-2872 | 劃分 Quantity, 有限數量 and 無限的數量 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10873-10873 | 劃分 QuantityChange, Increasing and Decreasing |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 648-648 | 劃分 放射性武器, 核武器 and 放射性武器 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1892-1892 | 劃分 RealNumber, NegativeRealNumber and NonnegativeRealNumber |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |