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 20537-20539
(externalImage Soldier "http://articulatesoftware.com/SUMOpictures/armed_services/ personnel/ soldier1.png") pictureList.kif 742-742
(instance Soldier GovernmentPosition) Mid-level-ontology.kif 20536-20536 Soldier is an instance of government position

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


(subAttribute ConfederateSoldier Soldier) Mid-level-ontology.kif 20542-20542 Confederate soldier is a subattribute of soldier
(subAttribute MilitaryOfficer Soldier) Mid-level-ontology.kif 20569-20569 Military officer is a subattribute of soldier
(subAttribute MilitaryPrivate Soldier) Mid-level-ontology.kif 20564-20564 Military private is a subattribute of soldier
(subAttribute StandardBearer Soldier) Military.kif 298-298 Standard bearer is a subattribute of soldier
(subAttribute USCivilWarSoldier Soldier) Military.kif 304-304 US civil war soldier is a subattribute of soldier
(subAttribute USMilitaryRankE1 Soldier) Military.kif 425-425 US military rank e1 is a subattribute of soldier
(subAttribute USMilitaryRankE2 Soldier) Military.kif 438-438 US military rank e2 is a subattribute of soldier
(subAttribute USMilitaryRankE3 Soldier) Military.kif 451-451 US military rank e3 is a subattribute of soldier
(subAttribute USMilitaryRankE4 Soldier) Military.kif 464-464 US military rank e4 is a subattribute of soldier
(subAttribute USMilitaryRankE5 Soldier) Military.kif 477-477 US military rank e5 is a subattribute of soldier
(subAttribute USMilitaryRankE6 Soldier) Military.kif 490-490 US military rank e6 is a subattribute of soldier
(subAttribute USMilitaryRankE7 Soldier) Military.kif 503-503 US military rank e7 is a subattribute of soldier
(subAttribute USMilitaryRankE8 Soldier) Military.kif 516-516 US military rank e8 is a subattribute of soldier
(subAttribute USMilitaryRankE9 Soldier) Military.kif 529-529 US military rank e9 is a subattribute of soldier
(subAttribute USMilitaryRankE9special Soldier) Military.kif 549-549 US military rank e9special is a subattribute of soldier
(subAttribute USMilitaryRankO1 Soldier) Military.kif 562-562 US military rank o1 is a subattribute of soldier
(subAttribute USMilitaryRankO10 Soldier) Military.kif 661-661 US military rank o10 is a subattribute of soldier
(subAttribute USMilitaryRankO2 Soldier) Military.kif 572-572 US military rank o2 is a subattribute of soldier
(subAttribute USMilitaryRankO3 Soldier) Military.kif 582-582 US military rank o3 is a subattribute of soldier
(subAttribute USMilitaryRankO4 Soldier) Military.kif 592-592 US military rank o4 is a subattribute of soldier
(subAttribute USMilitaryRankO5 Soldier) Military.kif 602-602 US military rank o5 is a subattribute of soldier
(subAttribute USMilitaryRankO6 Soldier) Military.kif 612-612 US military rank o6 is a subattribute of soldier
(subAttribute USMilitaryRankO7 Soldier) Military.kif 622-622 US military rank o7 is a subattribute of soldier
(subAttribute USMilitaryRankO8 Soldier) Military.kif 635-635 US military rank o8 is a subattribute of soldier
(subAttribute USMilitaryRankO9 Soldier) Military.kif 648-648 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 363-374
(=>
    (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 9593-9606
(=>
    (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 20575-20584
(=>
    (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 23844-23855


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