detainee |
appearance as argument number 1 |
![]() |
(documentation detainee EnglishLanguage "(detainee ?EVENT ?OBJECT) means that in the Confining ?EVENT, the Object ?OBJECT is restrained by force, threat, or other form of intimidation.") | Mid-level-ontology.kif 7941-7943 | |
(domain detainee 1 Confining) | Mid-level-ontology.kif 7945-7945 | detainee の数値 1 引数は 閉じ込め の instance では |
(domain detainee 2 Animal) | Mid-level-ontology.kif 7946-7946 | detainee の数値 2 引数は 動物 の instance では |
(instance detainee CaseRole) | Mid-level-ontology.kif 7944-7944 | detainee は 格役割 の instance では |
(subrelation detainee patient) | Mid-level-ontology.kif 7947-7947 | detainee は patient の subrelation では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage detainee "%2 %n 是 %1 的 拘留者") | domainEnglishFormat.kif 728-728 | |
(format ChineseTraditionalLanguage detainee "%2 %n 是 %1 的 拘留者") | domainEnglishFormat.kif 727-727 | |
(format EnglishLanguage detainee "%2 is %n a detainee of %1") | domainEnglishFormat.kif 726-726 | |
(termFormat ChineseLanguage detainee "被拘留者") | domainEnglishFormat.kif 19293-19293 | |
(termFormat ChineseTraditionalLanguage detainee "被拘留者") | domainEnglishFormat.kif 19292-19292 | |
(termFormat EnglishLanguage detainee "detainee") | domainEnglishFormat.kif 19291-19291 |
antecedent |
![]() |
(=> (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 25156-25169 |
|
consequent |
![]() |
(<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 | detainedAtTimeInPlace 意識[知覚]を持つ代理(人), 時間位置 and オブジェクト playsRoleInEventOfType 意識[知覚]を持つ代理(人), detainee, 閉じ込め, 時間位置 and オブジェクト |
(=> (holdsDuring ?NOW (attribute ?P Prisoner)) (exists (?BEFORE ?IMPRISONING) (and (instance ?IMPRISONING Imprisoning) (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (detainee ?IMPRISONING ?P))))) |
MilitaryPersons.kif 242-250 |
![]() |
![]() |