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

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


(subAttribute ConfederateSoldier Soldier) Mid-level-ontology.kif 18971-18971 Confederate soldier is a subattribute of soldier
(subAttribute MilitaryOfficer Soldier) Mid-level-ontology.kif 18998-18998 Military officer is a subattribute of soldier
(subAttribute MilitaryPrivate Soldier) Mid-level-ontology.kif 18993-18993 Military private is a subattribute of soldier
(subAttribute StandardBearer Soldier) Military.kif 221-221 Standard bearer is a subattribute of soldier
(subAttribute USCivilWarSoldier Soldier) Military.kif 227-227 US civil war soldier is a subattribute of soldier
(subAttribute USMilitaryRankE1 Soldier) Military.kif 348-348 US military rank e1 is a subattribute of soldier
(subAttribute USMilitaryRankE2 Soldier) Military.kif 361-361 US military rank e2 is a subattribute of soldier
(subAttribute USMilitaryRankE3 Soldier) Military.kif 374-374 US military rank e3 is a subattribute of soldier
(subAttribute USMilitaryRankE4 Soldier) Military.kif 387-387 US military rank e4 is a subattribute of soldier
(subAttribute USMilitaryRankE5 Soldier) Military.kif 400-400 US military rank e5 is a subattribute of soldier
(subAttribute USMilitaryRankE6 Soldier) Military.kif 413-413 US military rank e6 is a subattribute of soldier
(subAttribute USMilitaryRankE7 Soldier) Military.kif 426-426 US military rank e7 is a subattribute of soldier
(subAttribute USMilitaryRankE8 Soldier) Military.kif 439-439 US military rank e8 is a subattribute of soldier
(subAttribute USMilitaryRankE9 Soldier) Military.kif 452-452 US military rank e9 is a subattribute of soldier
(subAttribute USMilitaryRankE9special Soldier) Military.kif 472-472 US military rank e9special is a subattribute of soldier
(subAttribute USMilitaryRankO1 Soldier) Military.kif 485-485 US military rank o1 is a subattribute of soldier
(subAttribute USMilitaryRankO10 Soldier) Military.kif 584-584 US military rank o10 is a subattribute of soldier
(subAttribute USMilitaryRankO2 Soldier) Military.kif 495-495 US military rank o2 is a subattribute of soldier
(subAttribute USMilitaryRankO3 Soldier) Military.kif 505-505 US military rank o3 is a subattribute of soldier
(subAttribute USMilitaryRankO4 Soldier) Military.kif 515-515 US military rank o4 is a subattribute of soldier
(subAttribute USMilitaryRankO5 Soldier) Military.kif 525-525 US military rank o5 is a subattribute of soldier
(subAttribute USMilitaryRankO6 Soldier) Military.kif 535-535 US military rank o6 is a subattribute of soldier
(subAttribute USMilitaryRankO7 Soldier) Military.kif 545-545 US military rank o7 is a subattribute of soldier
(subAttribute USMilitaryRankO8 Soldier) Military.kif 558-558 US military rank o8 is a subattribute of soldier
(subAttribute USMilitaryRankO9 Soldier) Military.kif 571-571 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 286-297
(=>
    (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 8387-8400
(=>
    (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 19004-19013
(=>
    (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 22203-22214


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