Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subEchelon
subEchelon

appearance as argument number 1
-------------------------


(documentation subEchelon EnglishLanguage "A subEchelon is a relationship between named organizational unit types in which a unit of one type is a subOrganization of the other.") Military.kif 755-757
(domainSubclass subEchelon 1 MilitaryUnit) Military.kif 758-758 The number 1 argument of sub echelon is a subclass of military unit
(domainSubclass subEchelon 2 MilitaryUnit) Military.kif 759-759 The number 2 argument of sub echelon is a subclass of military unit
(instance subEchelon BinaryPredicate) Military.kif 754-754 sub echelon is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage subEchelon "%2 %n 是 %1 的 sub 梯队") domainEnglishFormat.kif 2391-2391
(format ChineseTraditionalLanguage subEchelon "%2 %n 是 %1 的 sub 梯隊") domainEnglishFormat.kif 2390-2390
(format EnglishLanguage subEchelon "%2 is %n a sub echelon of %1") domainEnglishFormat.kif 2389-2389
(termFormat ChineseLanguage subEchelon "次梯队") domainEnglishFormat.kif 55749-55749
(termFormat ChineseTraditionalLanguage subEchelon "次梯隊") domainEnglishFormat.kif 55748-55748
(termFormat EnglishLanguage subEchelon "sub echelon") domainEnglishFormat.kif 55747-55747

antecedent
-------------------------


(=>
    (and
        (subEchelon ?MUClass1 ?MUClass2)
        (instance ?MU1 ?MUClass1))
    (exists (?MU2)
        (and
            (instance ?MU2 ?MUClass2)
            (subOrganization ?MU1 ?MU2))))
Military.kif 760-767

appearance as argument number 0
-------------------------


(subEchelon Battalion CompanyMilitary) Military.kif 800-800 Company- military is a sub echelon of battalion
(subEchelon Brigade Battalion) Military.kif 782-782 Battalion is a sub echelon of brigade
(subEchelon CompanyMilitary Platoon) Military.kif 804-804 Platoon is a sub echelon of company- military
(subEchelon WeaponsCompany AntiArmorPlatoon) MilitaryPersons.kif 578-578 Anti armor platoon is a sub echelon of weapons company
(subEchelon WeaponsCompany HeavyMGPlatoon) MilitaryPersons.kif 580-580 HeavyMG platoon is a sub echelon of weapons company
(subEchelon WeaponsCompany MortarPlatoon) MilitaryPersons.kif 579-579 Mortar platoon is a sub echelon of weapons company


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners