No TPTP formula. May not be expressible in strict first order. |
Military.kif 209-209 |
MilitaryFoodTruck e' uma sub-classe de MilitarySupportVehicle |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 205-205 |
MilitarySupplyTruck e' uma sub-classe de MilitarySupportVehicle |
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 |
|