No TPTP formula. May not be expressible in strict first order. | Cars.kif 3389-3417 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3419-3419 | 安全套 是 SafetyDevice 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3420-3420 | 安全套 是 可穿戴物品 的 subclass |