| Imprisoning | |
| appearance as argument number 1 |
|
|
| (documentation Imprisoning EnglishLanguage "The class of Confining processes where the detainee is put in Prison.") | Mid-level-ontology.kif 15292-15293 | |
| (subclass Imprisoning Confining) | Mid-level-ontology.kif 15291-15291 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Imprisoning "监禁") | domainEnglishFormat.kif 29466-29466 | |
| (termFormat ChineseTraditionalLanguage Imprisoning "監禁") | domainEnglishFormat.kif 29465-29465 | |
| (termFormat EnglishLanguage Imprisoning "imprisoning") | domainEnglishFormat.kif 29464-29464 |
| antecedent |
|
|
| (=> (and (instance ?F MilitaryForce) (instance ?P Human) (instance ?I Imprisoning) (member ?P ?F) (agent ?I ?E) (patient ?I ?P) (enemy ?E ?P) (eventLocated ?I ?LOC) (attribute ?LOC WarState)) (attribute ?P PrisonerOfWar)) |
MilitaryPersons.kif 285-296 | |
| (=> (and (instance ?IMPRISON Imprisoning) (detainee ?IMPRISON ?AGENT) (instance ?AGENT Human) (time ?IMPRISON ?INTERVAL) (instance ?INTERVAL TimeInterval)) (exists (?ARREST ?TIME) (and (instance ?TIME TimeInterval) (time ?ARREST ?TIME) (earlier ?TIME ?INTERVAL) (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT)))) |
Mid-level-ontology.kif 25154-25167 | |
| (=> (instance ?I Imprisoning) (exists (?P) (and (instance ?P Prison) (eventLocated ?I ?P)))) |
Mid-level-ontology.kif 15295-15300 |
| consequent |
|
|
| (=> (holdsDuring ?NOW (attribute ?P Prisoner)) (exists (?BEFORE ?IMPRISONING) (and (instance ?IMPRISONING Imprisoning) (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (detainee ?IMPRISONING ?P))))) |
MilitaryPersons.kif 242-250 | |
| (=> (jailer ?J ?H) (exists (?I) (and (instance ?I Imprisoning) (agent ?I ?J) (patient ?I ?H)))) |
Law.kif 251-257 |
|
|
|