| 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 29518-29518 | 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 2518-2518 | EngineControlModule 是 电脑 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3185-3185 | IgnitionControlModule 是 电脑 的 subclass |
|
|