|
|
   MilitaryUnit
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MilitaryUnit EnglishLanguage "Any MilitaryOrganization that can be dispatched to an area of operations.") | Mid-level-ontology.kif 8355-8356 | |
| (subclass MilitaryUnit MilitaryOrganization) | Mid-level-ontology.kif 8354-8354 | 子類 軍事單位 and 軍事組織 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain hostileForces 1 MilitaryUnit) | Mid-level-ontology.kif 8424-8424 | 域 敵對勢力, 1 and 軍事單位 |
| (domain hostileForces 2 MilitaryUnit) | Mid-level-ontology.kif 8425-8425 | 域 敵對勢力, 2 and 軍事單位 |
| (domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 705-705 | 域子類 梯隊指揮等級, 1 and 軍事單位 |
| (domainSubclass subEchelon 1 MilitaryUnit) | Military.kif 691-691 | 域子類 次梯隊, 1 and 軍事單位 |
| (domainSubclass subEchelon 2 MilitaryUnit) | Military.kif 692-692 | 域子類 次梯隊, 2 and 軍事單位 |
| 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 8358-8367 |
|
|
|
|