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

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


(instance USMilitaryRankE1 USMilitaryRank) Military.kif 347-347 美国军衔e1 是 美国军衔 的 instance
(instance USMilitaryRankE2 USMilitaryRank) Military.kif 360-360 美国军衔e2 是 美国军衔 的 instance
(instance USMilitaryRankE3 USMilitaryRank) Military.kif 373-373 美国军衔e3 是 美国军衔 的 instance
(instance USMilitaryRankE4 USMilitaryRank) Military.kif 386-386 美国军衔e4 是 美国军衔 的 instance
(instance USMilitaryRankE5 USMilitaryRank) Military.kif 399-399 美国军衔e5 是 美国军衔 的 instance
(instance USMilitaryRankE6 USMilitaryRank) Military.kif 412-412 美国军衔e6 是 美国军衔 的 instance
(instance USMilitaryRankE7 USMilitaryRank) Military.kif 425-425 美国军衔e7 是 美国军衔 的 instance
(instance USMilitaryRankE8 USMilitaryRank) Military.kif 438-438 美国军衔e8 是 美国军衔 的 instance
(instance USMilitaryRankE9 USMilitaryRank) Military.kif 451-451 美国军衔e9 是 美国军衔 的 instance
(instance USMilitaryRankE9special USMilitaryRank) Military.kif 470-470 美国军衔e9特别 是 美国军衔 的 instance
(instance USMilitaryRankO1 USMilitaryRank) Military.kif 484-484 美国军衔o1 是 美国军衔 的 instance
(instance USMilitaryRankO10 USMilitaryRank) Military.kif 583-583 美军军衔o10 是 美国军衔 的 instance
(instance USMilitaryRankO2 USMilitaryRank) Military.kif 494-494 美国军衔o2 是 美国军衔 的 instance
(instance USMilitaryRankO3 USMilitaryRank) Military.kif 504-504 美国军衔o3 是 美国军衔 的 instance
(instance USMilitaryRankO4 USMilitaryRank) Military.kif 514-514 美国军衔o4 是 美国军衔 的 instance
(instance USMilitaryRankO5 USMilitaryRank) Military.kif 524-524 美国军衔o5 是 美国军衔 的 instance
(instance USMilitaryRankO6 USMilitaryRank) Military.kif 534-534 美国军衔o6 是 美国军衔 的 instance
(instance USMilitaryRankO7 USMilitaryRank) Military.kif 544-544 美国军衔o7 是 美国军衔 的 instance
(instance USMilitaryRankO8 USMilitaryRank) Military.kif 557-557 美国军衔o8 是 美国军衔 的 instance
(instance USMilitaryRankO9 USMilitaryRank) Military.kif 570-570 美国军衔o9 是 美国军衔 的 instance
(instance USMilitaryRankSpecial USMilitaryRank) Military.kif 596-596 美国军衔特殊 是 美国军衔 的 instance
(instance USMilitaryRankWO1 USMilitaryRank) Military.kif 627-627 美国军衔o 是 美国军衔 的 instance
(instance USMilitaryRankWO2 USMilitaryRank) Military.kif 636-636 美国军衔o2 是 美国军衔 的 instance
(instance USMilitaryRankWO3 USMilitaryRank) Military.kif 646-646 美军军衔W3 是 美国军衔 的 instance
(instance USMilitaryRankWO4 USMilitaryRank) Military.kif 656-656 美军军衔o4 是 美国军衔 的 instance

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