No TPTP formula. May not be expressible in strict first order. | Cars.kif 3397-3425 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3427-3427 | 安全套 是 SafetyDevice 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3428-3428 | 安全套 是 可穿戴物品 的 subclass |
![]() |