Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 8096-8098 | |
| (instance detainee CaseRole) | Mid-level-ontology.kif 8099-8099 | detainee is an instance of case role |
| (domain detainee 1 Confining) | Mid-level-ontology.kif 8100-8100 | The number 1 argument of detainee is an instance of confining |
| (domain detainee 2 Animal) | Mid-level-ontology.kif 8101-8101 | The number 2 argument of detainee is an instance of animal |
| (subrelation detainee patient) | Mid-level-ontology.kif 8102-8102 | detainee is a subrelation of patient |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage detainee "%2 is %n a detainee of %1") | domainEnglishFormat.kif 726-726 | |
| (format ChineseTraditionalLanguage detainee "%2 %n 是 %1 的 拘留者") | domainEnglishFormat.kif 727-727 | |
| (format ChineseLanguage detainee "%2 %n 是 %1 的 拘留者") | domainEnglishFormat.kif 728-728 | |
| (termFormat EnglishLanguage detainee "detainee") | domainEnglishFormat.kif 19284-19284 | |
| (termFormat ChineseTraditionalLanguage detainee "被拘留者") | domainEnglishFormat.kif 19285-19285 | |
| (termFormat ChineseLanguage detainee "被拘留者") | domainEnglishFormat.kif 19286-19286 |
| 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 25831-25844 | If X is an instance of imprisoning, Y is a detainee of X, Y is an instance of human, X exists during Z, and Z is an instance of timeframe, then there exist W, V such that V is an instance of timeframe, W exists during V, V happens earlier than Z, W is an instance of placing under arrest, and Y is placed under arrest during W |
| consequent |
|
|
| (<=> (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE) (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE)) |
Justice.kif 26-28 | X detained at time in place Y for Z if, only if X plays role in event of type detainee for confining with Y, and Z |
| (=> (holdsDuring ?NOW (attribute ?P Prisoner)) (exists (?BEFORE ?IMPRISONING) (and (instance ?IMPRISONING Imprisoning) (earlier ?BEFORE ?NOW) (holdsDuring ?BEFORE (detainee ?IMPRISONING ?P))))) |
MilitaryPersons.kif 245-253 | If prisoner is an attribute of X holds during Y, then there exist Z, W such that W is an instance of imprisoning, Z happens earlier than Y, and X is a detainee of W holds during Z |
|