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	The number 1 argument of sub echelon is a subclass of military unit
(domainSubclass subEchelon 2 MilitaryUnit)	Military.kif 692-692	The number 2 argument of sub echelon is a subclass of military unit
(instance subEchelon BinaryPredicate)	Military.kif 687-687	sub echelon is an instance of binary predicate

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

If a kind of military unit is a sub echelon of another kind of military unit and an organization is an instance of another kind of military unit,
then there exists another organization such that the other organization is an instance of a kind of military unit and the organization is a part of the organization the other organization

appearance as argument number 0

(subEchelon Battalion CompanyMilitary)	Military.kif 733-733	Company- military is a sub echelon of battalion
(subEchelon Brigade Battalion)	Military.kif 715-715	Battalion is a sub echelon of brigade
(subEchelon CompanyMilitary Platoon)	Military.kif 737-737	Platoon is a sub echelon of company- military
(subEchelon WeaponsCompany AntiArmorPlatoon)	MilitaryPersons.kif 564-564	Anti armor platoon is a sub echelon of weapons company
(subEchelon WeaponsCompany HeavyMGPlatoon)	MilitaryPersons.kif 566-566	HeavyMG platoon is a sub echelon of weapons company
(subEchelon WeaponsCompany MortarPlatoon)	MilitaryPersons.kif 565-565	Mortar platoon is a sub echelon of weapons company

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

KB Term:			Term intersection

English Word: