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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRank
USMilitaryRank(US military rank)

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 US military rank is a subclass of military rank

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


(instance USMilitaryRankE1 USMilitaryRank) Military.kif 347-347 US military rank e1 is an instance of US military rank
(instance USMilitaryRankE2 USMilitaryRank) Military.kif 360-360 US military rank e2 is an instance of US military rank
(instance USMilitaryRankE3 USMilitaryRank) Military.kif 373-373 US military rank e3 is an instance of US military rank
(instance USMilitaryRankE4 USMilitaryRank) Military.kif 386-386 US military rank e4 is an instance of US military rank
(instance USMilitaryRankE5 USMilitaryRank) Military.kif 399-399 US military rank e5 is an instance of US military rank
(instance USMilitaryRankE6 USMilitaryRank) Military.kif 412-412 US military rank e6 is an instance of US military rank
(instance USMilitaryRankE7 USMilitaryRank) Military.kif 425-425 US military rank e7 is an instance of US military rank
(instance USMilitaryRankE8 USMilitaryRank) Military.kif 438-438 US military rank e8 is an instance of US military rank
(instance USMilitaryRankE9 USMilitaryRank) Military.kif 451-451 US military rank e9 is an instance of US military rank
(instance USMilitaryRankE9special USMilitaryRank) Military.kif 470-470 US military rank e9special is an instance of US military rank
(instance USMilitaryRankO1 USMilitaryRank) Military.kif 484-484 US military rank o1 is an instance of US military rank
(instance USMilitaryRankO10 USMilitaryRank) Military.kif 583-583 US military rank o10 is an instance of US military rank
(instance USMilitaryRankO2 USMilitaryRank) Military.kif 494-494 US military rank o2 is an instance of US military rank
(instance USMilitaryRankO3 USMilitaryRank) Military.kif 504-504 US military rank o3 is an instance of US military rank
(instance USMilitaryRankO4 USMilitaryRank) Military.kif 514-514 US military rank o4 is an instance of US military rank
(instance USMilitaryRankO5 USMilitaryRank) Military.kif 524-524 US military rank o5 is an instance of US military rank
(instance USMilitaryRankO6 USMilitaryRank) Military.kif 534-534 US military rank o6 is an instance of US military rank
(instance USMilitaryRankO7 USMilitaryRank) Military.kif 544-544 US military rank o7 is an instance of US military rank
(instance USMilitaryRankO8 USMilitaryRank) Military.kif 557-557 US military rank o8 is an instance of US military rank
(instance USMilitaryRankO9 USMilitaryRank) Military.kif 570-570 US military rank o9 is an instance of US military rank
(instance USMilitaryRankSpecial USMilitaryRank) Military.kif 596-596 US military rank special is an instance of US military rank
(instance USMilitaryRankWO1 USMilitaryRank) Military.kif 627-627 US military rankW o1 is an instance of US military rank
(instance USMilitaryRankWO2 USMilitaryRank) Military.kif 636-636 US military rankW o2 is an instance of US military rank
(instance USMilitaryRankWO3 USMilitaryRank) Military.kif 646-646 US military rankW o3 is an instance of US military rank
(instance USMilitaryRankWO4 USMilitaryRank) Military.kif 656-656 US military rankW o4 is an instance of US military rank

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


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