No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3704-3704 |
不相交的 家具 and Machine |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1784-1784 |
Machine 是 機械製造業 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2028-2028 |
子類 AirConditioningCondenser and Machine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2052-2052 |
子類 AirConditioningEvaporator and Machine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5153-5153 |
子類 GasCompressor and Machine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1190-1190 |
子類 Generator and Machine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25568-25568 |
子類 IceMachine and Machine |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5986-5986 |
子類 車床 and Machine |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 742-742 |
子類 發動機 and Machine |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6013-6013 |
子類 刨床 and Machine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1947-1947 |
子類 售貨機 and Machine |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1060-1060 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1331-1331 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 738-738 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 269-269 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 272-272 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2422-2422 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 690-690 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 274-274 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 308-308 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 759-759 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 273-273 |
|