| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | 电脑 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29530-29530 | PortableComputer 是 电脑 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | AppleComputer 是 电脑 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2512-2512 | EngineControlModule 是 电脑 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3177-3177 | IgnitionControlModule 是 电脑 的 subclass |
|
|