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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subEchelon

 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 688-690
(domainSubclass subEchelon 1 MilitaryUnit) Military.kif 691-691 域子類 次梯隊, 1 and 軍事單位
(domainSubclass subEchelon 2 MilitaryUnit) Military.kif 692-692 域子類 次梯隊, 2 and 軍事單位
(instance subEchelon BinaryPredicate) Military.kif 687-687 例 次梯隊 and BinaryPredicate

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


(format ChineseLanguage subEchelon "%2 %n 是 %1 的 sub 梯队") domainEnglishFormat.kif 2387-2387
(format ChineseTraditionalLanguage subEchelon "%2 %n 是 %1 的 sub 梯隊") domainEnglishFormat.kif 2386-2386
(format EnglishLanguage subEchelon "%2 is %n a sub echelon of %1") domainEnglishFormat.kif 2385-2385
(termFormat ChineseLanguage subEchelon "次梯队") domainEnglishFormat.kif 55716-55716
(termFormat ChineseTraditionalLanguage subEchelon "次梯隊") domainEnglishFormat.kif 55715-55715
(termFormat EnglishLanguage subEchelon "sub echelon") domainEnglishFormat.kif 55714-55714

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


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

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


(subEchelon Battalion CompanyMilitary) Military.kif 733-733 公司- 軍事 是 營 的 sub 梯隊
(subEchelon Brigade Battalion) Military.kif 715-715 營 是 旅 的 sub 梯隊
(subEchelon CompanyMilitary Platoon) Military.kif 737-737 排 是 公司- 軍事 的 sub 梯隊
(subEchelon WeaponsCompany AntiArmorPlatoon) MilitaryPersons.kif 564-564 反裝甲排 是 武器公司 的 sub 梯隊
(subEchelon WeaponsCompany HeavyMGPlatoon) MilitaryPersons.kif 566-566 重MG排 是 武器公司 的 sub 梯隊
(subEchelon WeaponsCompany MortarPlatoon) MilitaryPersons.kif 565-565 迫擊砲排 是 武器公司 的 sub 梯隊


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

Show without tree


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