No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11163-11163 |
劃分 走動, Walking and 賽跑 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14937-14937 |
劃分 AnatomicalStructure, 動物解剖結構 and 植物解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14936-14936 |
劃分 AnatomicalStructure, BodyPart and 異常的解剖結構 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14469-14469 |
劃分 Animal, Vertebrate and Invertebrate |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16835-16835 |
劃分 爭論, 演繹論證 and 歸納論證 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1702-1702 |
劃分 Attribute, InternalAttribute and RelationalAttribute |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 82-82 |
劃分 生化劑, 生物製劑 and 化學劑 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 108-108 |
劃分 生化武器, 生物武器 and 化學武器 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 157-157 |
劃分 生物製劑, 毒素 and 有毒生物 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7624-7624 |
劃分 護理組織, 醫院組織 and 醫療診所 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 1027-1027 |
劃分 主席出版物, 主席指示 and 主席手冊 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12526-12526 |
劃分 ChemicalProcess, ChemicalSynthesis and ChemicalDecomposition |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13058-13058 |
劃分 Communication, Stating, 假如, Directing, Committing, Expressing and Declaring |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3585-3585 |
劃分 貨幣, 貨幣單 and 貨幣硬幣 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16855-16855 |
劃分 演繹論證, 有效的演繹論證 and 無效的演繹論證 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 816-816 |
劃分 Entity, Physical and Abstract |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12942-12942 |
劃分 Expressing, 手勢 and 用語言表達 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1604-1604 |
劃分 火器, 步槍 and 手槍 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8151-8151 |
劃分 園林 , 私人庭園 and 公共庭園 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14054-14054 |
劃分 GeographicArea, WaterArea and LandArea |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17803-17803 |
劃分 幾何圖, 幾何點, 一維圖, 二維圖 and 三維圖 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5820-5820 |
劃分 GraphElement, GraphNode and GraphArc |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1162-1162 |
劃分 槍, 火砲槍 and 火器 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5279-5279 |
劃分 Hardwood and Softwood |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14667-14667 |
劃分 Human, 人 and 女人 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |