No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 635-635 |
AssaultAmphibianUnit e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 732-732 |
Battalion e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 714-714 |
Brigade e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8381-8381 |
CavalryUnit e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 736-736 |
CompanyMilitary e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 672-672 |
InfantryUnit e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 509-509 |
LARUnit e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8377-8377 |
MilitaryCorps e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8374-8374 |
MilitarySquad e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 84-84 |
PeacekeepingUnit e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 745-745 |
Platoon e' uma sub-classe de MilitaryUnit |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37763-37763 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37762-37762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37761-37761 |
|