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 USMilitaryRank e' uma sub-classe de MilitaryRank

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


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