| 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 18915-18917 | |
| (externalImage Soldier "http://articulatesoftware.com/SUMOpictures/armed_services/ personnel/ soldier1.png") | pictureList.kif 742-742 | |
| (instance Soldier GovernmentPosition) | Mid-level-ontology.kif 18914-18914 |
| appearance as argument number 2 |
|
|
| 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 8359-8372 | |
| (=> (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 18953-18962 | |
| (=> (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 22152-22163 |
|
|
|