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 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 例 士兵 and 政府立場

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


(subAttribute ConfederateSoldier Soldier) Mid-level-ontology.kif 18971-18971 子屬性 同盟軍士兵 and 士兵
(subAttribute MilitaryOfficer Soldier) Mid-level-ontology.kif 18998-18998 子屬性 軍官 and 士兵
(subAttribute MilitaryPrivate Soldier) Mid-level-ontology.kif 18993-18993 子屬性 軍事私人 and 士兵
(subAttribute StandardBearer Soldier) Military.kif 221-221 子屬性 標準負擔者 and 士兵
(subAttribute USCivilWarSoldier Soldier) Military.kif 227-227 子屬性 美國內戰士兵 and 士兵
(subAttribute USMilitaryRankE1 Soldier) Military.kif 348-348 子屬性 美國軍銜e1 and 士兵
(subAttribute USMilitaryRankE2 Soldier) Military.kif 361-361 子屬性 美國軍銜e2 and 士兵
(subAttribute USMilitaryRankE3 Soldier) Military.kif 374-374 子屬性 美國軍銜e3 and 士兵
(subAttribute USMilitaryRankE4 Soldier) Military.kif 387-387 子屬性 美國軍銜e4 and 士兵
(subAttribute USMilitaryRankE5 Soldier) Military.kif 400-400 子屬性 美國軍銜e5 and 士兵
(subAttribute USMilitaryRankE6 Soldier) Military.kif 413-413 子屬性 美國軍銜e6 and 士兵
(subAttribute USMilitaryRankE7 Soldier) Military.kif 426-426 子屬性 美國軍銜e7 and 士兵
(subAttribute USMilitaryRankE8 Soldier) Military.kif 439-439 子屬性 美國軍銜e8 and 士兵
(subAttribute USMilitaryRankE9 Soldier) Military.kif 452-452 子屬性 美國軍銜e9 and 士兵
(subAttribute USMilitaryRankE9special Soldier) Military.kif 472-472 子屬性 美國軍銜e9特別 and 士兵
(subAttribute USMilitaryRankO1 Soldier) Military.kif 485-485 子屬性 美國軍銜o1 and 士兵
(subAttribute USMilitaryRankO10 Soldier) Military.kif 584-584 子屬性 美軍軍銜o10 and 士兵
(subAttribute USMilitaryRankO2 Soldier) Military.kif 495-495 子屬性 美國軍銜o2 and 士兵
(subAttribute USMilitaryRankO3 Soldier) Military.kif 505-505 子屬性 美國軍銜o3 and 士兵
(subAttribute USMilitaryRankO4 Soldier) Military.kif 515-515 子屬性 美國軍銜o4 and 士兵
(subAttribute USMilitaryRankO5 Soldier) Military.kif 525-525 子屬性 美國軍銜o5 and 士兵
(subAttribute USMilitaryRankO6 Soldier) Military.kif 535-535 子屬性 美國軍銜o6 and 士兵
(subAttribute USMilitaryRankO7 Soldier) Military.kif 545-545 子屬性 美國軍銜o7 and 士兵
(subAttribute USMilitaryRankO8 Soldier) Military.kif 558-558 子屬性 美國軍銜o8 and 士兵
(subAttribute USMilitaryRankO9 Soldier) Military.kif 571-571 子屬性 美國軍銜o9 and 士兵

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