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

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


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

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