CompoundSubstance(compound substance) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8808-8808 | Oil is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8559-8559 | Organic compound is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2044-2044 | Phosphate is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5983-5983 | Phosphoric acid is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2050-2050 | Potash is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1453-1453 | Saxitoxin is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7166-7166 | Sulphur dioxide is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1477-1477 | Tetrodotoxin is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | Water is a subclass of compound substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1701-1701 | Wax is a subclass of compound substance |
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 |