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 18341-18343
(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 18340-18340 士兵政府立场instance

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


(subAttribute ConfederateSoldier Soldier) Mid-level-ontology.kif 18346-18346 同盟军士兵士兵subAttribute
(subAttribute MilitaryOfficer Soldier) Mid-level-ontology.kif 18373-18373 军官士兵subAttribute
(subAttribute MilitaryPrivate Soldier) Mid-level-ontology.kif 18368-18368 军事私人士兵subAttribute
(subAttribute StandardBearer Soldier) Military.kif 221-221 标准负担者士兵subAttribute
(subAttribute USCivilWarSoldier Soldier) Military.kif 227-227 美国内战士兵士兵subAttribute
(subAttribute USMilitaryRankE1 Soldier) Military.kif 348-348 美国军衔e1士兵subAttribute
(subAttribute USMilitaryRankE2 Soldier) Military.kif 361-361 美国军衔e2士兵subAttribute
(subAttribute USMilitaryRankE3 Soldier) Military.kif 374-374 美国军衔e3士兵subAttribute
(subAttribute USMilitaryRankE4 Soldier) Military.kif 387-387 美国军衔e4士兵subAttribute
(subAttribute USMilitaryRankE5 Soldier) Military.kif 400-400 美国军衔e5士兵subAttribute
(subAttribute USMilitaryRankE6 Soldier) Military.kif 413-413 美国军衔e6士兵subAttribute
(subAttribute USMilitaryRankE7 Soldier) Military.kif 426-426 美国军衔e7士兵subAttribute
(subAttribute USMilitaryRankE8 Soldier) Military.kif 439-439 美国军衔e8士兵subAttribute
(subAttribute USMilitaryRankE9 Soldier) Military.kif 452-452 美国军衔e9士兵subAttribute
(subAttribute USMilitaryRankE9special Soldier) Military.kif 472-472 美国军衔e9特别士兵subAttribute
(subAttribute USMilitaryRankO1 Soldier) Military.kif 485-485 美国军衔o1士兵subAttribute
(subAttribute USMilitaryRankO10 Soldier) Military.kif 584-584 美军军衔o10士兵subAttribute
(subAttribute USMilitaryRankO2 Soldier) Military.kif 495-495 美国军衔o2士兵subAttribute
(subAttribute USMilitaryRankO3 Soldier) Military.kif 505-505 美国军衔o3士兵subAttribute
(subAttribute USMilitaryRankO4 Soldier) Military.kif 515-515 美国军衔o4士兵subAttribute
(subAttribute USMilitaryRankO5 Soldier) Military.kif 525-525 美国军衔o5士兵subAttribute
(subAttribute USMilitaryRankO6 Soldier) Military.kif 535-535 美国军衔o6士兵subAttribute
(subAttribute USMilitaryRankO7 Soldier) Military.kif 545-545 美国军衔o7士兵subAttribute
(subAttribute USMilitaryRankO8 Soldier) Military.kif 558-558 美国军衔o8士兵subAttribute
(subAttribute USMilitaryRankO9 Soldier) Military.kif 571-571 美国军衔o9士兵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 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 7994-8007
(=>
    (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 18379-18388
(=>
    (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 21683-21694


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