MilitaryUnit
|
|
appearance as argument number 1 |
(documentation MilitaryUnit EnglishLanguage "Any MilitaryOrganization that can be dispatched to an area of operations.") | Mid-level-ontology.kif 8382-8383 | |
(subclass MilitaryUnit MilitaryOrganization) | Mid-level-ontology.kif 8381-8381 | 军事单位 是 军事组织 的 subclass |
appearance as argument number 2 |
appearance as argument number 3 |
(domain hostileForces 1 MilitaryUnit) | Mid-level-ontology.kif 8451-8451 | 敌对势力 的 1 数量 是 军事单位 的 instance |
(domain hostileForces 2 MilitaryUnit) | Mid-level-ontology.kif 8452-8452 | 敌对势力 的 2 数量 是 军事单位 的 instance |
(domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 705-705 | 梯队指挥等级 的 1 数量 是 军事单位 的 subclass |
(domainSubclass subEchelon 1 MilitaryUnit) | Military.kif 691-691 | 次梯队 的 1 数量 是 军事单位 的 subclass |
(domainSubclass subEchelon 2 MilitaryUnit) | Military.kif 692-692 | 次梯队 的 2 数量 是 军事单位 的 subclass |
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 8385-8394 |