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 29530-29530 | 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 2512-2512 | Engine control module is a subclass of computer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3177-3177 | Ignition control module is a subclass of computer |