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 16696-16698
(externalImage Soldier "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ armed_services/ personnel/ soldier1.png") pictureList.kif 742-742 externalImage Soldier and "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ personnel/ soldier1.png"
(instance Soldier GovernmentPosition) Mid-level-ontology.kif 16694-16694 instance Soldier and GovernmentPosition

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


(subAttribute ConfederateSoldier Soldier) Mid-level-ontology.kif 16714-16714 subAttribute ConfederateSoldier and Soldier
(subAttribute MilitaryOfficer Soldier) Mid-level-ontology.kif 16767-16767 subAttribute MilitaryOfficer and Soldier
(subAttribute MilitaryPrivate Soldier) Mid-level-ontology.kif 16760-16760 subAttribute MilitaryPrivate and Soldier
(subAttribute USCivilWarSoldier Soldier) Military.kif 227-227 subAttribute USCivilWarSoldier and Soldier
(subAttribute USMilitaryRankE1 Soldier) Military.kif 348-348 subAttribute USMilitaryRankE1 and Soldier
(subAttribute USMilitaryRankE2 Soldier) Military.kif 361-361 subAttribute USMilitaryRankE2 and Soldier
(subAttribute USMilitaryRankE3 Soldier) Military.kif 374-374 subAttribute USMilitaryRankE3 and Soldier
(subAttribute USMilitaryRankE4 Soldier) Military.kif 387-387 subAttribute USMilitaryRankE4 and Soldier
(subAttribute USMilitaryRankE5 Soldier) Military.kif 400-400 subAttribute USMilitaryRankE5 and Soldier
(subAttribute USMilitaryRankE6 Soldier) Military.kif 413-413 subAttribute USMilitaryRankE6 and Soldier
(subAttribute USMilitaryRankE7 Soldier) Military.kif 426-426 subAttribute USMilitaryRankE7 and Soldier
(subAttribute USMilitaryRankE8 Soldier) Military.kif 439-439 subAttribute USMilitaryRankE8 and Soldier
(subAttribute USMilitaryRankE9 Soldier) Military.kif 452-452 subAttribute USMilitaryRankE9 and Soldier
(subAttribute USMilitaryRankE9special Soldier) Military.kif 472-472 subAttribute USMilitaryRankE9special and Soldier
(subAttribute USMilitaryRankO1 Soldier) Military.kif 485-485 subAttribute USMilitaryRankO1 and Soldier
(subAttribute USMilitaryRankO10 Soldier) Military.kif 584-584 subAttribute USMilitaryRankO10 and Soldier
(subAttribute USMilitaryRankO2 Soldier) Military.kif 495-495 subAttribute USMilitaryRankO2 and Soldier
(subAttribute USMilitaryRankO3 Soldier) Military.kif 505-505 subAttribute USMilitaryRankO3 and Soldier
(subAttribute USMilitaryRankO4 Soldier) Military.kif 515-515 subAttribute USMilitaryRankO4 and Soldier
(subAttribute USMilitaryRankO5 Soldier) Military.kif 525-525 subAttribute USMilitaryRankO5 and Soldier
(subAttribute USMilitaryRankO6 Soldier) Military.kif 535-535 subAttribute USMilitaryRankO6 and Soldier
(subAttribute USMilitaryRankO7 Soldier) Military.kif 545-545 subAttribute USMilitaryRankO7 and Soldier
(subAttribute USMilitaryRankO8 Soldier) Military.kif 558-558 subAttribute USMilitaryRankO8 and Soldier
(subAttribute USMilitaryRankO9 Soldier) Military.kif 571-571 subAttribute USMilitaryRankO9 and Soldier
(subAttribute USMilitaryRankSpecial Soldier) Military.kif 597-597 subAttribute USMilitaryRankSpecial and 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 8112-8125
(=>
    (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 16775-16784
(=>
    (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 20013-20024


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