No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25179-25179 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25176-25176 |
FabricIron e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25177-25177 |
FabricIron e' uma sub-classe de HeatingDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25178-25178 |
FabricIron e' uma sub-classe de HouseUtilityAppliance |