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