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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRank
USMilitaryRank

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 subclass USMilitaryRank and MilitaryRank

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


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

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