No TPTP formula. May not be expressible in strict first order. |
Military.kif 209-209 |
军用食品卡车 是 军事支援车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 205-205 |
军用卡车 是 军事支援车辆 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37745-37745 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37744-37744 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37743-37743 |
|