No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1182-1182 | 混合物 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1249-1249 | 枪粉 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2153-2153 | 污水 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8832-8832 | 洗涤剂 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8897-8897 | 胶 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8910-8910 | 玻璃 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8913-8913 | 金属合金 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17921-17921 | 泥 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17982-17982 | 腐殖质 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21445-21445 | Vomit 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21557-21557 | 胶体 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14709-14709 | 液体混合物 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14736-14736 | 混合气体 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4745-4745 | Adderall 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5836-5836 | RingersLactate 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4440-4440 | 砾石 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7403-7403 | 悬浮颗粒 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 309-309 | 已准备食物 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1600-1600 | 面团 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4557-4557 | 植物油 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5601-5601 | 矾土 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5895-5895 | 具体 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5975-5975 | 肥料 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6098-6098 | 宝石 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1139-1139 | Exhaust 是 混合物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1580-1580 | HydraulicFluid 是 混合物 的 subclass |