No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8336-8336 | MilitaryService est une sous-classe de MilitaryOrganization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8346-8346 | Army est une sous-classe de MilitaryService |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8349-8349 | AirForce est une sous-classe de MilitaryService |
![]() |