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 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

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


(subAttribute ConfederateSoldier Soldier) Mid-level-ontology.kif 20542-20542
(subAttribute MilitaryOfficer Soldier) Mid-level-ontology.kif 20569-20569
(subAttribute MilitaryPrivate Soldier) Mid-level-ontology.kif 20564-20564
(subAttribute StandardBearer Soldier) Military.kif 298-298
(subAttribute USCivilWarSoldier Soldier) Military.kif 304-304
(subAttribute USMilitaryRankE1 Soldier) Military.kif 425-425
(subAttribute USMilitaryRankE2 Soldier) Military.kif 438-438
(subAttribute USMilitaryRankE3 Soldier) Military.kif 451-451
(subAttribute USMilitaryRankE4 Soldier) Military.kif 464-464
(subAttribute USMilitaryRankE5 Soldier) Military.kif 477-477
(subAttribute USMilitaryRankE6 Soldier) Military.kif 490-490
(subAttribute USMilitaryRankE7 Soldier) Military.kif 503-503
(subAttribute USMilitaryRankE8 Soldier) Military.kif 516-516
(subAttribute USMilitaryRankE9 Soldier) Military.kif 529-529
(subAttribute USMilitaryRankE9special Soldier) Military.kif 549-549
(subAttribute USMilitaryRankO1 Soldier) Military.kif 562-562
(subAttribute USMilitaryRankO10 Soldier) Military.kif 661-661
(subAttribute USMilitaryRankO2 Soldier) Military.kif 572-572
(subAttribute USMilitaryRankO3 Soldier) Military.kif 582-582
(subAttribute USMilitaryRankO4 Soldier) Military.kif 592-592
(subAttribute USMilitaryRankO5 Soldier) Military.kif 602-602
(subAttribute USMilitaryRankO6 Soldier) Military.kif 612-612
(subAttribute USMilitaryRankO7 Soldier) Military.kif 622-622
(subAttribute USMilitaryRankO8 Soldier) Military.kif 635-635
(subAttribute USMilitaryRankO9 Soldier) Military.kif 648-648

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