No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | Computer e' uma sub-classe de ElectricDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29518-29518 | PortableComputer e' uma sub-classe de Computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | AppleComputer e' uma sub-classe de Computer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2518-2518 | EngineControlModule e' uma sub-classe de Computer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3185-3185 | IgnitionControlModule e' uma sub-classe de Computer |