No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1767-1767 | C h53 e 是 直升机 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1768-1768 | C h53 e 是 乘用车 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1769-1769 | C h53 e 是 军车 的 subclass |