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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

appearance as argument number 1
-------------------------


(documentation Soldier EnglishLanguage "This Attribute describes someone serving in the armed forces of a Nation.") Mid-level-ontology.kif 20055-20057
(externalImage Soldier "http://articulatesoftware.com/SUMOpictures/armed_services/ personnel/ soldier1.png") pictureList.kif 742-742
(instance Soldier GovernmentPosition) Mid-level-ontology.kif 20054-20054 Soldier is an instance of government position

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


(subAttribute ConfederateSoldier Soldier) Mid-level-ontology.kif 20060-20060 Confederate soldier is a subattribute of soldier
(subAttribute MilitaryOfficer Soldier) Mid-level-ontology.kif 20087-20087 Military officer is a subattribute of soldier
(subAttribute MilitaryPrivate Soldier) Mid-level-ontology.kif 20082-20082 Military private is a subattribute of soldier
(subAttribute StandardBearer Soldier) Military.kif 288-288 Standard bearer is a subattribute of soldier
(subAttribute USCivilWarSoldier Soldier) Military.kif 294-294 US civil war soldier is a subattribute of soldier
(subAttribute USMilitaryRankE1 Soldier) Military.kif 415-415 US military rank e1 is a subattribute of soldier
(subAttribute USMilitaryRankE2 Soldier) Military.kif 428-428 US military rank e2 is a subattribute of soldier
(subAttribute USMilitaryRankE3 Soldier) Military.kif 441-441 US military rank e3 is a subattribute of soldier
(subAttribute USMilitaryRankE4 Soldier) Military.kif 454-454 US military rank e4 is a subattribute of soldier
(subAttribute USMilitaryRankE5 Soldier) Military.kif 467-467 US military rank e5 is a subattribute of soldier
(subAttribute USMilitaryRankE6 Soldier) Military.kif 480-480 US military rank e6 is a subattribute of soldier
(subAttribute USMilitaryRankE7 Soldier) Military.kif 493-493 US military rank e7 is a subattribute of soldier
(subAttribute USMilitaryRankE8 Soldier) Military.kif 506-506 US military rank e8 is a subattribute of soldier
(subAttribute USMilitaryRankE9 Soldier) Military.kif 519-519 US military rank e9 is a subattribute of soldier
(subAttribute USMilitaryRankE9special Soldier) Military.kif 539-539 US military rank e9special is a subattribute of soldier
(subAttribute USMilitaryRankO1 Soldier) Military.kif 552-552 US military rank o1 is a subattribute of soldier
(subAttribute USMilitaryRankO10 Soldier) Military.kif 651-651 US military rank o10 is a subattribute of soldier
(subAttribute USMilitaryRankO2 Soldier) Military.kif 562-562 US military rank o2 is a subattribute of soldier
(subAttribute USMilitaryRankO3 Soldier) Military.kif 572-572 US military rank o3 is a subattribute of soldier
(subAttribute USMilitaryRankO4 Soldier) Military.kif 582-582 US military rank o4 is a subattribute of soldier
(subAttribute USMilitaryRankO5 Soldier) Military.kif 592-592 US military rank o5 is a subattribute of soldier
(subAttribute USMilitaryRankO6 Soldier) Military.kif 602-602 US military rank o6 is a subattribute of soldier
(subAttribute USMilitaryRankO7 Soldier) Military.kif 612-612 US military rank o7 is a subattribute of soldier
(subAttribute USMilitaryRankO8 Soldier) Military.kif 625-625 US military rank o8 is a subattribute of soldier
(subAttribute USMilitaryRankO9 Soldier) Military.kif 638-638 US military rank o9 is a subattribute of soldier

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


(=>
    (and
        (attribute ?OFFICER ?COR)
        (instance ?COR CommissionedOfficerRank))
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))		 Military.kif 353-364
(=>
    (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 9160-9173
(=>
    (attribute ?OFFICER MilitaryOfficer)
    (exists (?MANAGE ?PATIENT)
        (and
            (instance ?MANAGE Managing)
            (agent ?MANAGE ?OFFICER)
            (patient ?MANAGE ?PATIENT)
            (or
                (instance ?PATIENT MilitaryOrganization)
                (attribute ?PATIENT Soldier)))))		 Mid-level-ontology.kif 20093-20102
(=>
    (holdsDuring ?T1
        (attribute ?H Veteran))
    (exists (?T2)
        (and
            (temporalPart ?T2
                (PastFn
                    (WhenFn ?T1)))
            (holdsDuring ?T2
                (attribute ?H Soldier))
            (not
                (holdsDuring ?T1
                    (attribute ?H Soldier))))))		 Mid-level-ontology.kif 23317-23328


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