![]() |
![]() ![]() ![]()
|
![]() |
|
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 | MilitaryUnit est une sous-classe de MilitaryOrganization |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain hostileForces 1 MilitaryUnit) | Mid-level-ontology.kif 8423-8423 | Le nombre 1 argument de hostileForces est une instance de MilitaryUnit |
(domain hostileForces 2 MilitaryUnit) | Mid-level-ontology.kif 8424-8424 | Le nombre 2 argument de hostileForces est une instance de MilitaryUnit |
(domainSubclass commandRankOfEchelon 1 MilitaryUnit) | Military.kif 705-705 | Le nombre 1 argument de commandRankOfEchelon est une sous-classe de MilitaryUnit |
(domainSubclass subEchelon 1 MilitaryUnit) | Military.kif 691-691 | Le nombre 1 argument de subEchelon est une sous-classe de MilitaryUnit |
(domainSubclass subEchelon 2 MilitaryUnit) | Military.kif 692-692 | Le nombre 2 argument de subEchelon est une sous-classe de MilitaryUnit |
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 |
|
![]() |
![]() |