No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3704-3704 |
Furniture est disjoint de machine |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1784-1784 |
industryProductType MachineryManufacturing and machine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2028-2028 |
AirConditioningCondenser est une sous-classe de machine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2052-2052 |
AirConditioningEvaporator est une sous-classe de machine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5153-5153 |
GasCompressor est une sous-classe de machine |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1190-1190 |
Generator est une sous-classe de machine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25568-25568 |
IceMachine est une sous-classe de machine |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5986-5986 |
Lathe est une sous-classe de machine |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 742-742 |
Motor est une sous-classe de machine |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6013-6013 |
Planer est une sous-classe de machine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1947-1947 |
VendingMachine est une sous-classe de 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 |
|