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 è una sottoclasse di MilitaryRank

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


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