Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| arrested |
| appearance as argument number 1 |
|
| (instance arrested CaseRole) | Mid-level-ontology.kif 25791-25791 | arrested is an instance of case role |
| (documentation arrested EnglishLanguage "(arrested ?EVENT ?AGENT) means that during ?EVENT, ?AGENT is taken into custody, typically by a representative of a law enforcement organization.") | Mid-level-ontology.kif 25792-25795 | arrested is an instance of case role |
| (domain arrested 1 PlacingUnderArrest) | Mid-level-ontology.kif 25796-25796 | The number 1 argument of arrested is an instance of placing under arrest |
| (domain arrested 2 AutonomousAgent) | Mid-level-ontology.kif 25797-25797 | The number 2 argument of arrested is an instance of agent |
| (subrelation arrested controlled) | Mid-level-ontology.kif 25798-25798 | arrested is a subrelation of controlled |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage arrested "arrested") | domainEnglishFormat.kif 8452-8452 | |
| (termFormat ChineseTraditionalLanguage arrested "被捕") | domainEnglishFormat.kif 8453-8453 | |
| (termFormat ChineseLanguage arrested "被捕") | domainEnglishFormat.kif 8454-8454 | |
| (format EnglishLanguage arrested "%2 is %n placed under arrest during %1") | english_format.kif 57-57 |
| antecedent |
|
|
| (=> (arrested ?ARREST ?OBJ) (or (instance ?OBJ Human) (instance ?OBJ GroupOfPeople))) |
Mid-level-ontology.kif 25806-25810 | If X is placed under arrest during Y, then X is an instance of human or X is an instance of group of people |
| (=> (and (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT) (instance ?AGENT GroupOfPeople) (member ?MEMBER ?AGENT)) (exists (?ARREST1) (and (instance ?ARREST1 PlacingUnderArrest) (arrested ?ARREST1 ?MEMBER) (subProcess ?ARREST1 ?ARREST)))) |
Mid-level-ontology.kif 25812-25822 | If X is an instance of placing under arrest, Y is placed under arrest during X, Y is an instance of group of people, and Z is a member of Y, then there exists W such that W is an instance of placing under arrest, Z is placed under arrest during W, and W is a subprocess of X |
| consequent |
|
|
| (=> (and (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT) (instance ?AGENT GroupOfPeople) (member ?MEMBER ?AGENT)) (exists (?ARREST1) (and (instance ?ARREST1 PlacingUnderArrest) (arrested ?ARREST1 ?MEMBER) (subProcess ?ARREST1 ?ARREST)))) |
Mid-level-ontology.kif 25812-25822 | If X is an instance of placing under arrest, Y is placed under arrest during X, Y is an instance of group of people, and Z is a member of Y, then there exists W such that W is an instance of placing under arrest, Z is placed under arrest during W, and W is a subprocess of X |
| (=> (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 |
|