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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Soldier

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

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


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

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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