USMilitaryRank - Sigma Knowledge base Browser

appearance as argument number 1

(documentation USMilitaryRank EnglishLanguage "The class of Positions in the USMilitary.")	Military.kif 256-256
(subclass USMilitaryRank MilitaryRank)	Military.kif 255-255	USMilitaryRank は MilitaryRank の subclass では %n

appearance as argument number 2

(instance USMilitaryRankE1 USMilitaryRank)	Military.kif 347-347	USMilitaryRankE1 は USMilitaryRank の instance では %n
(instance USMilitaryRankE2 USMilitaryRank)	Military.kif 360-360	USMilitaryRankE2 は USMilitaryRank の instance では %n
(instance USMilitaryRankE3 USMilitaryRank)	Military.kif 373-373	USMilitaryRankE3 は USMilitaryRank の instance では %n
(instance USMilitaryRankE4 USMilitaryRank)	Military.kif 386-386	USMilitaryRankE4 は USMilitaryRank の instance では %n
(instance USMilitaryRankE5 USMilitaryRank)	Military.kif 399-399	USMilitaryRankE5 は USMilitaryRank の instance では %n
(instance USMilitaryRankE6 USMilitaryRank)	Military.kif 412-412	USMilitaryRankE6 は USMilitaryRank の instance では %n
(instance USMilitaryRankE7 USMilitaryRank)	Military.kif 425-425	USMilitaryRankE7 は USMilitaryRank の instance では %n
(instance USMilitaryRankE8 USMilitaryRank)	Military.kif 438-438	USMilitaryRankE8 は USMilitaryRank の instance では %n
(instance USMilitaryRankE9 USMilitaryRank)	Military.kif 451-451	USMilitaryRankE9 は USMilitaryRank の instance では %n
(instance USMilitaryRankE9special USMilitaryRank)	Military.kif 470-470	USMilitaryRankE9special は USMilitaryRank の instance では %n
(instance USMilitaryRankO1 USMilitaryRank)	Military.kif 484-484	USMilitaryRankO1 は USMilitaryRank の instance では %n
(instance USMilitaryRankO10 USMilitaryRank)	Military.kif 583-583	USMilitaryRankO10 は USMilitaryRank の instance では %n
(instance USMilitaryRankO2 USMilitaryRank)	Military.kif 494-494	USMilitaryRankO2 は USMilitaryRank の instance では %n
(instance USMilitaryRankO3 USMilitaryRank)	Military.kif 504-504	USMilitaryRankO3 は USMilitaryRank の instance では %n
(instance USMilitaryRankO4 USMilitaryRank)	Military.kif 514-514	USMilitaryRankO4 は USMilitaryRank の instance では %n
(instance USMilitaryRankO5 USMilitaryRank)	Military.kif 524-524	USMilitaryRankO5 は USMilitaryRank の instance では %n
(instance USMilitaryRankO6 USMilitaryRank)	Military.kif 534-534	USMilitaryRankO6 は USMilitaryRank の instance では %n
(instance USMilitaryRankO7 USMilitaryRank)	Military.kif 544-544	USMilitaryRankO7 は USMilitaryRank の instance では %n
(instance USMilitaryRankO8 USMilitaryRank)	Military.kif 557-557	USMilitaryRankO8 は USMilitaryRank の instance では %n
(instance USMilitaryRankO9 USMilitaryRank)	Military.kif 570-570	USMilitaryRankO9 は USMilitaryRank の instance では %n
(instance USMilitaryRankSpecial USMilitaryRank)	Military.kif 596-596	USMilitaryRankSpecial は USMilitaryRank の instance では %n
(instance USMilitaryRankWO1 USMilitaryRank)	Military.kif 627-627	USMilitaryRankWO1 は USMilitaryRank の instance では %n
(instance USMilitaryRankWO2 USMilitaryRank)	Military.kif 636-636	USMilitaryRankWO2 は USMilitaryRank の instance では %n
(instance USMilitaryRankWO3 USMilitaryRank)	Military.kif 646-646	USMilitaryRankWO3 は USMilitaryRank の instance では %n
(instance USMilitaryRankWO4 USMilitaryRank)	Military.kif 656-656	USMilitaryRankWO4 は USMilitaryRank の instance では %n

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

(=>
    (and
        (instance ?ATTR USMilitaryRank)
        (attribute ?PERSON ?ATTR))
    (exists (?MO)
        (and
            (member ?PERSON ?MO)
            (militaryOfArea ?MO UnitedStates))))

Military.kif 257-264

属性は USMilitaryRank の instance では %n 属性はオブジェクトの attribute では %n
MilitaryOrganization オブジェクトは MilitaryOrganization の member では %n militaryOfArea MilitaryOrganization and UnitedStates

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

KB Term:			Term intersection

English Word: