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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Soldier
Soldier

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


(documentation Soldier EnglishLanguage "This Attribute describes someone serving in the armed forces of a Nation.") Mid-level-ontology.kif 16749-16751
(externalImage Soldier "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ armed_services/ personnel/ soldier1.png") pictureList.kif 742-742
(instance Soldier GovernmentPosition) Mid-level-ontology.kif 16747-16747

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


(subAttribute ConfederateSoldier Soldier) Mid-level-ontology.kif 16767-16767
(subAttribute MilitaryOfficer Soldier) Mid-level-ontology.kif 16820-16820
(subAttribute MilitaryPrivate Soldier) Mid-level-ontology.kif 16813-16813
(subAttribute StandardBearer Soldier) Military.kif 221-221
(subAttribute USCivilWarSoldier Soldier) Military.kif 227-227
(subAttribute USMilitaryRankE1 Soldier) Military.kif 348-348
(subAttribute USMilitaryRankE2 Soldier) Military.kif 361-361
(subAttribute USMilitaryRankE3 Soldier) Military.kif 374-374
(subAttribute USMilitaryRankE4 Soldier) Military.kif 387-387
(subAttribute USMilitaryRankE5 Soldier) Military.kif 400-400
(subAttribute USMilitaryRankE6 Soldier) Military.kif 413-413
(subAttribute USMilitaryRankE7 Soldier) Military.kif 426-426
(subAttribute USMilitaryRankE8 Soldier) Military.kif 439-439
(subAttribute USMilitaryRankE9 Soldier) Military.kif 452-452
(subAttribute USMilitaryRankE9special Soldier) Military.kif 472-472
(subAttribute USMilitaryRankO1 Soldier) Military.kif 485-485
(subAttribute USMilitaryRankO10 Soldier) Military.kif 584-584
(subAttribute USMilitaryRankO2 Soldier) Military.kif 495-495
(subAttribute USMilitaryRankO3 Soldier) Military.kif 505-505
(subAttribute USMilitaryRankO4 Soldier) Military.kif 515-515
(subAttribute USMilitaryRankO5 Soldier) Military.kif 525-525
(subAttribute USMilitaryRankO6 Soldier) Military.kif 535-535
(subAttribute USMilitaryRankO7 Soldier) Military.kif 545-545
(subAttribute USMilitaryRankO8 Soldier) Military.kif 558-558
(subAttribute USMilitaryRankO9 Soldier) Military.kif 571-571

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 8119-8132
(=>
    (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 16828-16837
(=>
    (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 20077-20088


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners