Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Soldier
|
|
|
| appearance as argument number 1 |
|
|
| (instance Soldier GovernmentPosition) | Mid-level-ontology.kif 20902-20902 | Soldier is an instance of government position |
| (documentation Soldier EnglishLanguage "This Attribute describes someone serving in the armed forces of a Nation.") | Mid-level-ontology.kif 20903-20905 | Soldier is an instance of government position |
| (externalImage Soldier "http://articulatesoftware.com/SUMOpictures/armed_services/ personnel/ soldier1.png") | pictureList.kif 742-742 | Soldier is an instance of government position |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (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 9747-9760 | If X is an instance of cavalry unit, Y is an instance of battle, and X is an agent of Y, then All of the following hold: (1) there exist Z, W (2) V such that soldier is an attribute of Z (3) Z is a member of X (4) V is an instance of transportation (5) Z is an agent of V (6) W is an instance of vehicle (7) W is a patient of V (8) V takes place during Y |
| (=> (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 20941-20950 | If military officer is an attribute of X, then there exist Y, Z such that Y is an instance of managing, X is an agent of Y, Z is a patient of Y, and Z is an instance of military organization or soldier is an attribute of Z |
| (=> (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 24481-24492 | If veteran is an attribute of X holds during Y, then there exists Z such that Z is a part of before the time of existence of Y, soldier is an attribute of X holds during Z, and soldier is not an attribute of X doesn't hold during Y |
| (=> (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 561-572 | If X is an attribute of Y and X is an instance of commissioned officer rank, then there exist Z, W such that Z is an instance of managing, Y is an agent of Z, W is a patient of Z, and W is an instance of military organization or soldier is an attribute of W |
|
