No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1670-1670 |
不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14525-14525 |
不相交分解 Arthropod, Arachnid, Myriapod, Insect and Crustacean |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14547-14547 |
不相交分解 ColdBloodedVertebrate, Amphibian, Fish and Reptile |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 283-284 |
不相交分解 委任軍官級別, 國旗官員級別, 現場等級軍官等級 and 公司等級排名 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3215-3215 |
不相交分解 電腦狀態, 準備好主持, 主持人 and 啟動中 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 180-180 |
不相交分解 微分方程, 一階微分方程 and 高階微分方程 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 190-190 |
不相交分解 微分方程, 常微分方程 and 偏微分方程 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 269-269 |
不相交分解 士兵軍銜, 私人排名 and 非委任軍官級別 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12944-12944 |
不相交分解 Expressing, 表示贊同 and 表示不贊成 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16977-16977 |
不相交分解 遊戲神器, 遊戲板 and 遊戲片 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14504-14504 |
不相交分解 Invertebrate, Worm, Mollusk and Arthropod |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 37-37 |
不相交分解 LAN, 公交網絡, 星網 and 環網 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1406-1406 |
不相交分解 Language, AnimalLanguage, HumanLanguage and ComputerLanguage |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14581-14581 |
不相交分解 Mammal, AquaticMammal, HoofedMammal, Marsupial, Rodent and Primate |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3505-3505 |
不相交分解 NSAID, Aspirin, Ibuprofen and Acetaminophen |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 306-306 |
不相交分解 非委任軍官級別, 初級NCO排名 and 高級NCO排名 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14410-14410 |
不相交分解 NonFloweringPlant, Alga, Fern and Moss |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14682-14682 |
不相交分解 Nutrient, Protein, Carbohydrate and Vitamin |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15302-15302 |
不相交分解 Phrase, VerbPhrase, NounPhrase and PrepositionalPhrase |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2087-2087 |
不相交分解 發電, 化石燃料發電, 水力發電, 核能發電 and 其他發電源 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14627-14627 |
不相交分解 Primate, Ape, Monkey and Hominid |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2160-2161 |
不相交分解 Relation, BinaryRelation, TernaryRelation, QuaternaryRelation, QuintaryRelation and VariableArityRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15777-15777 |
不相交分解 住宅, 永久居留權 and 暫住 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14231-14231 |
不相交分解 Sentence, 聲明, 假想, 題, 請求 and 訂購 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15125-15125 |
不相交分解 Tissue, ConnectiveTissue, MuscleTissue, NervousTissue and EpithelialTissue |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |