TreeView Knowledge Base Browser

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

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

如果有点军事单位是另一个有点军事单位的 sub 梯队和机构是另一个有点军事单位的 instance，
然后有存在另一个机构这样那个另外机构是有点军事单位的 instance 和那个机构是那个另外机构 Organization 的一部分

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)

KB Term:			Term intersection

English Word: