| 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 20544-20546 | |
| (externalImage Soldier "http://articulatesoftware.com/SUMOpictures/armed_services/ personnel/ soldier1.png") | pictureList.kif 742-742 | |
| (instance Soldier GovernmentPosition) | Mid-level-ontology.kif 20543-20543 |
| 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 353-364 | |
| (=> (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 9613-9626 | |
| (=> (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 20582-20591 | |
| (=> (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 23852-23863 |
|
|
|