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 子類 美國軍銜 and 軍銜

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


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

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