Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PlacingUnderArrest
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PlacingUnderArrest Capturing) | Mid-level-ontology.kif 25782-25782 | Placing under arrest is a subclass of capture |
| (subclass PlacingUnderArrest LawEnforcement) | Mid-level-ontology.kif 25783-25783 | Placing under arrest is a subclass of law enforcement |
| (documentation PlacingUnderArrest EnglishLanguage "PlacingUnderArrest is the class of events in which a CognitiveAgent, typically a law enforcement professional, legally takes into custody a human or group of humans.") | Mid-level-ontology.kif 25784-25787 | Placing under arrest is a subclass of law enforcement |
| (subclass PlacingUnderArrest SocialInteraction) | Mid-level-ontology.kif 25788-25788 | Placing under arrest is a subclass of social interaction |
| (subclass PlacingUnderArrest LegalAction) | Mid-level-ontology.kif 25789-25789 | Placing under arrest is a subclass of legal action |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain arrested 1 PlacingUnderArrest) | Mid-level-ontology.kif 25796-25796 | The number 1 argument of arrested is an instance of placing under arrest |
| (domain arrestingOfficer 1 PlacingUnderArrest) | Law.kif 229-229 | The number 1 argument of arresting officer is an instance of placing under arrest |
| antecedent |
|
|
| (=> (and (instance ?ARREST PlacingUnderArrest) (agent ?ARREST ?AGENT)) (instance ?AGENT CognitiveAgent)) |
Mid-level-ontology.kif 25800-25804 | If X is an instance of placing under arrest and Y is an agent of X, then Y is an instance of cognitive agent |
| (=> (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 |
|
|
| (=> (attribute ?P PoliceOfficer) (hasSkill PlacingUnderArrest ?P)) |
Mid-level-ontology.kif 23171-23173 | If police officer is an attribute of X, then X has the skill to do placing under arrest |
| (=> (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 |
|