| (documentation Soldier EnglishLanguage "The class of SkilledOccupations which involve serving in the armed forces of a Nation.") | Mid-level-ontology.kif 12315-12316 | %3 |
| (externalImage Soldier "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ armed_services/ personnel/ soldier1.png") | pictureList.kif 742-742 | externalImage soldier "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ personnel/ soldier1.png" |
| (subclass Soldier SkilledOccupation) | Mid-level-ontology.kif 12314-12314 | soldier is a subclass of skilled occupation |
| (=> (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 5514-5527 |
|
| (=> (attribute ?OFFICER CommissionedOfficerRank) (exists (?MANAGE ?PATIENT) (and (instance ?MANAGE Managing) (agent ?MANAGE ?OFFICER) (patient ?MANAGE ?PATIENT) (or (instance ?PATIENT MilitaryOrganization) (attribute ?PATIENT Soldier))))) |
Military.kif 229-238 | |
| (=> (holdsDuring ?T1 (attribute ?H Veteran)) (exists (?T2 ?P) (and (temporalPart ?T2 (PastFn (WhenFn ?T1))) (instance ?P Soldier) (holdsDuring ?T2 (attribute ?H ?P)) (not (holdsDuring ?T1 (attribute ?H ?P)))))) |
Mid-level-ontology.kif 15105-15117 |
|
| (=> (instance ?OFFICER MilitaryOfficer) (exists (?MANAGE ?PATIENT) (and (instance ?MANAGE Managing) (agent ?MANAGE ?OFFICER) (patient ?MANAGE ?PATIENT) (or (instance ?PATIENT MilitaryOrganization) (instance ?PATIENT Soldier))))) |
Mid-level-ontology.kif 12360-12369 |
|
|