| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | 子類 電腦 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29530-29530 | 子類 PortableComputer and 電腦 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | 子類 AppleComputer and 電腦 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2512-2512 | 子類 EngineControlModule and 電腦 |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3177-3177 | 子類 IgnitionControlModule and 電腦 |
|
|