| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16113-16113 | Maquina e' uma sub-classe de Aparelho |
| 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. | Mid-level-ontology.kif 25568-25568 | IceMachine 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 5986-5986 | Lathe 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. | Cars.kif 1190-1190 | Generator e' uma sub-classe de 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 |
|
|