No TPTP formula. May not be expressible in strict first order. | Cars.kif 3539-3560 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3534-3534 | 子類 呼吸器 and SafetyDevice |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3535-3535 | 子類 呼吸器 and 可穿戴物品 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3536-3536 | 子類 呼吸器 and Mask |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4868-4868 | 子類 N95Mask and 呼吸器 |