| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2659-2659 | 安全装置 是 设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2663-2663 | 锁 是 安全装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2667-2667 | 键 是 安全装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2722-2722 | 安全的容器 是 安全装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2867-2867 | 安全警报 是 安全装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1014-1014 | FuelCapLock 是 安全装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3715-3715 | CarAlarm 是 安全装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3780-3780 | RemoteKeylessSystem 是 安全装置 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4000-4000 | SteeringColumnLock 是 安全装置 的 subclass |
|
|