No TPTP formula. May not be expressible in strict first order. | Cars.kif 1778-1792 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1173-1173 | 子類 CompoundSubstance and PureSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 445-445 | 子類 化學劑 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1453-1453 | 子類 石房蛤毒素 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1468-1468 | 子類 芋螺毒素 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1477-1477 | 子類 河豚毒素 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | 子類 非法藥物 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1701-1701 | 子類 蠟 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6473-6473 | 子類 共軛物質 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8558-8558 | 子類 有機化合物 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8720-8720 | 子類 化學酸 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8737-8737 | 子類 化學基地 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8741-8741 | 子類 鹽 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8807-8807 | 子類 油 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21729-21729 | 子類 原子團 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14329-14329 | 子類 Water and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14721-14721 | 子類 Carbohydrate and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15686-15686 | 子類 Molecule and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1996-1996 | 子類 重晶石 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2013-2013 | 子類 鉻鐵礦 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2034-2034 | 子類 天然氣 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2044-2044 | 子類 磷酸鹽 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2050-2050 | 子類 鉀肥 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2639-2639 | 子類 DDT and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7166-7166 | 子類 SulphurDioxide and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7201-7201 | 子類 NitricOxide and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7226-7226 | 子類 NitrogenDioxide and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3409-3409 | 子類 CarbonDioxide and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5610-5610 | 子類 礬土 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5621-5621 | 子類 鐵礦 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5816-5816 | 子類 化學產品 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5921-5921 | 子類 水泥 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5983-5983 | 子類 磷酸 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1794-1794 | 子類 Chlorofluorocarbon and CompoundSubstance |