No TPTP formula. May not be expressible in strict first order. | Merge.kif 16041-16041 | 机器 是 设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1954-1954 | 售货机 是 机器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25511-25511 | IceMachine 是 机器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 742-742 | 发动机 是 机器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5986-5986 | 车床 是 机器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6013-6013 | 刨床 是 机器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1190-1190 | Generator 是 机器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2045-2045 | AirConditioningCondenser 是 机器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2069-2069 | AirConditioningEvaporator 是 机器 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5168-5168 | GasCompressor 是 机器 的 subclass |