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 ist eine teilkategorie von MilitaryRank

appearance as argument number 2

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

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

Wenn Attribute ist ein fall von USMilitaryRank %n{nicht} und ** Attribute ist ein attribut von Object %n{nicht},
dann es gibt MilitaryOrganization um ** Object ist ein Mitglied von ** MilitaryOrganization %n{nicht} und 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: