No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | Computer is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29518-29518 | Portable computer is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | Apple Computer is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2518-2518 | Engine control module is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3185-3185 | Ignition control module is a subclass of computer |