No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8336-8336 | MilitaryService e' uma sub-classe de MilitaryOrganization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8346-8346 | Army e' uma sub-classe de MilitaryService |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8349-8349 | AirForce e' uma sub-classe de MilitaryService |