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