| 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 16749-16751 | |
| (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 16747-16747 |
| 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 8119-8132 | |
| (=> (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 16828-16837 | |
| (=> (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 20077-20088 |
|
|
|