|
|
   MilitaryUnit
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MilitaryUnit EnglishLanguage "Any MilitaryOrganization that can be dispatched to an area of operations.") | Mid-level-ontology.kif 8354-8355 | |
| (subclass MilitaryUnit MilitaryOrganization) | Mid-level-ontology.kif 8353-8353 |
| appearance as argument number 2 |
|
|
| (subclass AssaultAmphibianUnit MilitaryUnit) | MilitaryPersons.kif 635-635 | |
| (subclass Battalion MilitaryUnit) | Military.kif 732-732 | |
| (subclass Brigade MilitaryUnit) | Military.kif 714-714 | |
| (subclass CavalryUnit MilitaryUnit) | Mid-level-ontology.kif 8381-8381 | |
| (subclass CompanyMilitary MilitaryUnit) | Military.kif 736-736 | |
| (subclass InfantryUnit MilitaryUnit) | Military.kif 672-672 | |
| (subclass LARUnit MilitaryUnit) | MilitaryPersons.kif 509-509 | |
| (subclass MilitaryCorps MilitaryUnit) | Mid-level-ontology.kif 8377-8377 | |
| (subclass MilitarySquad MilitaryUnit) | Mid-level-ontology.kif 8374-8374 | |
| (subclass PeacekeepingUnit MilitaryUnit) | Military.kif 84-84 | |
| (subclass Platoon MilitaryUnit) | Military.kif 745-745 | |
| (termFormat ChineseLanguage MilitaryUnit "军事单位") | domainEnglishFormat.kif 37763-37763 | |
| (termFormat ChineseTraditionalLanguage MilitaryUnit "軍事單位") | domainEnglishFormat.kif 37762-37762 | |
| (termFormat EnglishLanguage MilitaryUnit "military unit") | domainEnglishFormat.kif 37761-37761 |
| appearance as argument number 3 |
|
|
| (domain hostileForces 1 MilitaryUnit) | Mid-level-ontology.kif 8423-8423 | |
| (domain hostileForces 2 MilitaryUnit) | Mid-level-ontology.kif 8424-8424 | |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 705-705 | |
| (domainSubclass subEchelon 1 MilitaryUnit) | Military.kif 691-691 | |
| (domainSubclass subEchelon 2 MilitaryUnit) | Military.kif 692-692 |
| consequent |
|
|
| (=> (instance ?B Battle) (exists (?U1 ?U2) (and (instance ?U1 MilitaryUnit) (instance ?U2 MilitaryUnit) (not (equal ?U1 ?U2)) (agent ?B ?U1) (agent ?B ?U2)))) |
Mid-level-ontology.kif 8357-8366 |
|
|
|