| MilitaryUnit | |
| appearance as argument number 1 |
|
|
| (documentation MilitaryUnit EnglishLanguage "Any MilitaryOrganization that can be dispatched to an area of operations.") | Mid-level-ontology.kif 9579-9580 | |
| (subclass MilitaryUnit MilitaryOrganization) | Mid-level-ontology.kif 9578-9578 |
| appearance as argument number 2 |
|
|
| (subclass AssaultAmphibianUnit MilitaryUnit) | MilitaryPersons.kif 649-649 | |
| (subclass Battalion MilitaryUnit) | Military.kif 799-799 | |
| (subclass Brigade MilitaryUnit) | Military.kif 781-781 | |
| (subclass CavalryUnit MilitaryUnit) | Mid-level-ontology.kif 9606-9606 | |
| (subclass CompanyMilitary MilitaryUnit) | Military.kif 803-803 | |
| (subclass InfantryUnit MilitaryUnit) | Military.kif 739-739 | |
| (subclass LARUnit MilitaryUnit) | MilitaryPersons.kif 523-523 | |
| (subclass MilitaryCorps MilitaryUnit) | Mid-level-ontology.kif 9602-9602 | |
| (subclass MilitarySquad MilitaryUnit) | Mid-level-ontology.kif 9599-9599 | |
| (subclass PeacekeepingUnit MilitaryUnit) | Military.kif 84-84 | |
| (subclass Platoon MilitaryUnit) | Military.kif 812-812 | |
| (termFormat ChineseLanguage MilitaryUnit "军事单位") | domainEnglishFormat.kif 37789-37789 | |
| (termFormat ChineseTraditionalLanguage MilitaryUnit "軍事單位") | domainEnglishFormat.kif 37788-37788 | |
| (termFormat EnglishLanguage MilitaryUnit "military unit") | domainEnglishFormat.kif 37787-37787 |
| appearance as argument number 3 |
|
|
| (domain hostileForces 1 MilitaryUnit) | Mid-level-ontology.kif 9648-9648 | |
| (domain hostileForces 2 MilitaryUnit) | Mid-level-ontology.kif 9649-9649 | |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 772-772 | |
| (domainSubclass subEchelon 1 MilitaryUnit) | Military.kif 758-758 | |
| (domainSubclass subEchelon 2 MilitaryUnit) | Military.kif 759-759 |
| consequent |
|
|
| (=> (attribute ?U ExpeditionaryForce) (hasPurpose ?U (exists (?B ?C ?FC) (and (instance ?U MilitaryUnit) (instance ?B Battle) (agent ?B ?U) (instance ?FC Nation) (located ?B ?FC) (not (equal ?C ?FC)))))) |
MilitaryPersons.kif 725-736 | |
| (=> (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 9582-9591 |
|
|
|