CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8808-8808 | 子類 油 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8559-8559 | 子類 有機化合物 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. | Economy.kif 5983-5983 | 子類 磷酸 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. | WMD.kif 1453-1453 | 子類 石房蛤毒素 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. | WMD.kif 1477-1477 | 子類 河豚毒素 and CompoundSubstance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | 子類 Water 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. | chinese_format.kif 827-827 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 856-856 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 503-503 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 36-36 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 39-39 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2188-2188 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 455-455 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 41-41 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 70-70 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 524-524 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 40-40 |