Browsing Interface
[ Home |  Graph |  ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - Soldier
Soldier(soldier)
Anzac, Crusader, Gurkha, Knight_Templar, Knight_of_the_Round_Table, Templar, Wac, bachelor, bachelor-at-arms, banneret, carpet_knight, cavalryman, flanker, friendly, halberdier, hostile, knight, knight-errant, knight_bachelor, knight_banneret, knight_of_the_square_flag, man, military_man, military_personnel, musketry, peshmerga, serviceman, soldier, soldiery, troop, trooper, troops, veteran, veteran_soldier, warrior

 
 appearance as argument number 1


(documentation Soldier EnglishLanguage "The class of SkilledOccupations which involve serving in the armed forces of a Nation.") Mid-level-ontology.kif 12315-12316 %3
(externalImage Soldier "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ armed_services/ personnel/ soldier1.png") pictureList.kif 742-742 externalImage soldier "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ personnel/ soldier1.png"
(subclass Soldier SkilledOccupation) Mid-level-ontology.kif 12314-12314 soldier is a subclass of skilled occupation

 
 appearance as argument number 2


(subAttribute USCivilWarSoldier Soldier) Military.kif 168-168 US civil war soldier is a subattribute of soldier
(subAttribute USMilitaryRankE1 Soldier) Military.kif 283-283 US military rank e1 is a subattribute of soldier
(subAttribute USMilitaryRankE2 Soldier) Military.kif 296-296 US military rank e2 is a subattribute of soldier
(subAttribute USMilitaryRankE3 Soldier) Military.kif 309-309 US military rank e3 is a subattribute of soldier
(subAttribute USMilitaryRankE4 Soldier) Military.kif 322-322 US military rank e4 is a subattribute of soldier
(subAttribute USMilitaryRankE5 Soldier) Military.kif 335-335 US military rank e5 is a subattribute of soldier
(subAttribute USMilitaryRankE6 Soldier) Military.kif 348-348 US military rank e6 is a subattribute of soldier
(subAttribute USMilitaryRankE7 Soldier) Military.kif 361-361 US military rank e7 is a subattribute of soldier
(subAttribute USMilitaryRankE8 Soldier) Military.kif 374-374 US military rank e8 is a subattribute of soldier
(subAttribute USMilitaryRankE9 Soldier) Military.kif 387-387 US military rank e9 is a subattribute of soldier
(subAttribute USMilitaryRankE9special Soldier) Military.kif 407-407 US military rank e9special is a subattribute of soldier
(subAttribute USMilitaryRankO1 Soldier) Military.kif 420-420 US military rank o1 is a subattribute of soldier
(subAttribute USMilitaryRankO10 Soldier) Military.kif 519-519 US military rank o10 is a subattribute of soldier
(subAttribute USMilitaryRankO2 Soldier) Military.kif 430-430 US military rank o2 is a subattribute of soldier
(subAttribute USMilitaryRankO3 Soldier) Military.kif 440-440 US military rank o3 is a subattribute of soldier
(subAttribute USMilitaryRankO4 Soldier) Military.kif 450-450 US military rank o4 is a subattribute of soldier
(subAttribute USMilitaryRankO5 Soldier) Military.kif 460-460 US military rank o5 is a subattribute of soldier
(subAttribute USMilitaryRankO6 Soldier) Military.kif 470-470 US military rank o6 is a subattribute of soldier
(subAttribute USMilitaryRankO7 Soldier) Military.kif 480-480 US military rank o7 is a subattribute of soldier
(subAttribute USMilitaryRankO8 Soldier) Military.kif 493-493 US military rank o8 is a subattribute of soldier
(subAttribute USMilitaryRankO9 Soldier) Military.kif 506-506 US military rank o9 is a subattribute of soldier
(subAttribute USMilitaryRankSpecial Soldier) Military.kif 532-532 US military rank special is a subattribute of soldier
(subAttribute USMilitaryRankWO1 Soldier) Military.kif 563-563 US military rankW o1 is a subattribute of soldier
(subAttribute USMilitaryRankWO2 Soldier) Military.kif 573-573 US military rankW o2 is a subattribute of soldier
(subAttribute USMilitaryRankWO3 Soldier) Military.kif 583-583 US military rankW o3 is a subattribute of soldier

Display limited to 25 items. Show next 25

 consequent


(=>
    (and
        (instance ?C CavalryUnit)
        (instance ?B Battle)
        (agent ?B ?C))
    (exists (?P ?V ?T)
        (and
            (attribute ?P Soldier)
            (member ?P ?C)
            (instance ?T Transportation)
            (agent ?T ?P)
            (instance ?V Vehicle)
            (patient ?T ?V)
            (during ?T ?B))))
Mid-level-ontology.kif 5514-5527
(=>
    (attribute ?OFFICER CommissionedOfficerRank)
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))
Military.kif 229-238
(=>
    (holdsDuring ?T1
        (attribute ?H Veteran))
    (exists (?T2 ?P)
        (and
            (temporalPart ?T2
                (PastFn
                    (WhenFn ?T1)))
            (instance ?P Soldier)
            (holdsDuring ?T2
                (attribute ?H ?P))
            (not
                (holdsDuring ?T1
                    (attribute ?H ?P))))))
Mid-level-ontology.kif 15105-15117
(=>
    (instance ?OFFICER MilitaryOfficer)
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (instance ?PATIENT Soldier)))))
Mid-level-ontology.kif 12360-12369


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      SUMO web home
Sigma version 2.1b (2007/11/20) is open source software produced by Articulate Software and its partners