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 323-323
(subclass USMilitaryRank MilitaryRank) Military.kif 322-322 US military rank is a subclass of military rank

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


(instance USMilitaryRankE1 USMilitaryRank) Military.kif 414-414 US military rank e1 is an instance of US military rank
(instance USMilitaryRankE2 USMilitaryRank) Military.kif 427-427 US military rank e2 is an instance of US military rank
(instance USMilitaryRankE3 USMilitaryRank) Military.kif 440-440 US military rank e3 is an instance of US military rank
(instance USMilitaryRankE4 USMilitaryRank) Military.kif 453-453 US military rank e4 is an instance of US military rank
(instance USMilitaryRankE5 USMilitaryRank) Military.kif 466-466 US military rank e5 is an instance of US military rank
(instance USMilitaryRankE6 USMilitaryRank) Military.kif 479-479 US military rank e6 is an instance of US military rank
(instance USMilitaryRankE7 USMilitaryRank) Military.kif 492-492 US military rank e7 is an instance of US military rank
(instance USMilitaryRankE8 USMilitaryRank) Military.kif 505-505 US military rank e8 is an instance of US military rank
(instance USMilitaryRankE9 USMilitaryRank) Military.kif 518-518 US military rank e9 is an instance of US military rank
(instance USMilitaryRankE9special USMilitaryRank) Military.kif 537-537 US military rank e9special is an instance of US military rank
(instance USMilitaryRankO1 USMilitaryRank) Military.kif 551-551 US military rank o1 is an instance of US military rank
(instance USMilitaryRankO10 USMilitaryRank) Military.kif 650-650 US military rank o10 is an instance of US military rank
(instance USMilitaryRankO2 USMilitaryRank) Military.kif 561-561 US military rank o2 is an instance of US military rank
(instance USMilitaryRankO3 USMilitaryRank) Military.kif 571-571 US military rank o3 is an instance of US military rank
(instance USMilitaryRankO4 USMilitaryRank) Military.kif 581-581 US military rank o4 is an instance of US military rank
(instance USMilitaryRankO5 USMilitaryRank) Military.kif 591-591 US military rank o5 is an instance of US military rank
(instance USMilitaryRankO6 USMilitaryRank) Military.kif 601-601 US military rank o6 is an instance of US military rank
(instance USMilitaryRankO7 USMilitaryRank) Military.kif 611-611 US military rank o7 is an instance of US military rank
(instance USMilitaryRankO8 USMilitaryRank) Military.kif 624-624 US military rank o8 is an instance of US military rank
(instance USMilitaryRankO9 USMilitaryRank) Military.kif 637-637 US military rank o9 is an instance of US military rank
(instance USMilitaryRankSpecial USMilitaryRank) Military.kif 663-663 US military rank special is an instance of US military rank
(instance USMilitaryRankWO1 USMilitaryRank) Military.kif 694-694 US military rankW o1 is an instance of US military rank
(instance USMilitaryRankWO2 USMilitaryRank) Military.kif 703-703 US military rankW o2 is an instance of US military rank
(instance USMilitaryRankWO3 USMilitaryRank) Military.kif 713-713 US military rankW o3 is an instance of US military rank
(instance USMilitaryRankWO4 USMilitaryRank) Military.kif 723-723 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 324-331


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