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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMilitaryRank

 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 est une sous-classe de MilitaryRank

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


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

Show without tree


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