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 765-767
(domainSubclass subEchelon 1 MilitaryUnit) Military.kif 768-768 次梯队 的 1 数量 是 军事单位subclass
(domainSubclass subEchelon 2 MilitaryUnit) Military.kif 769-769 次梯队 的 2 数量 是 军事单位subclass
(instance subEchelon BinaryPredicate) Military.kif 764-764 次梯队二元谓语instance

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 55720-55720
(termFormat ChineseTraditionalLanguage subEchelon "次梯隊") domainEnglishFormat.kif 55719-55719
(termFormat EnglishLanguage subEchelon "sub echelon") domainEnglishFormat.kif 55718-55718

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


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

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


(subEchelon Battalion CompanyMilitary) Military.kif 810-810 公司- 军事sub 梯队
(subEchelon Brigade Battalion) Military.kif 792-792 sub 梯队
(subEchelon CompanyMilitary Platoon) Military.kif 814-814 公司- 军事sub 梯队
(subEchelon WeaponsCompany AntiArmorPlatoon) MilitaryPersons.kif 578-578 反装甲排武器公司sub 梯队
(subEchelon WeaponsCompany HeavyMGPlatoon) MilitaryPersons.kif 580-580 重MG排武器公司sub 梯队
(subEchelon WeaponsCompany MortarPlatoon) MilitaryPersons.kif 579-579 迫击炮排武器公司sub 梯队


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