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 Soldier は GovernmentPosition の instance では

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


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

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