No TPTP formula. May not be expressible in strict first order. |
Military.kif 209-209 |
Military food truck is a subclass of military support vehicle |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 205-205 |
Military supply truck is a subclass of military support vehicle |
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 |
|