PlacingUnderArrest
|
|
appearance as argument number 1 |
(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 23518-23521 | |
(subclass PlacingUnderArrest Capturing) | Mid-level-ontology.kif 23516-23516 | PlacingUnderArrest est une sous-classe de Capturing |
(subclass PlacingUnderArrest LawEnforcement) | Mid-level-ontology.kif 23517-23517 | PlacingUnderArrest est une sous-classe de LawEnforcement |
(subclass PlacingUnderArrest LegalAction) | Mid-level-ontology.kif 23523-23523 | PlacingUnderArrest est une sous-classe de action l�gale |
(subclass PlacingUnderArrest SocialInteraction) | Mid-level-ontology.kif 23522-23522 | PlacingUnderArrest est une sous-classe de interaction social |
appearance as argument number 2 |
(termFormat ChineseLanguage PlacingUnderArrest "被捕") | domainEnglishFormat.kif 45998-45998 | |
(termFormat ChineseTraditionalLanguage PlacingUnderArrest "被捕") | domainEnglishFormat.kif 45997-45997 | |
(termFormat EnglishLanguage PlacingUnderArrest "placing under arrest") | domainEnglishFormat.kif 45996-45996 |
appearance as argument number 3 |
(domain arrested 1 PlacingUnderArrest) | Mid-level-ontology.kif 23530-23530 | Le nombre 1 argument de arrested est une instance de PlacingUnderArrest |
(domain arrestingOfficer 1 PlacingUnderArrest) | Law.kif 228-228 | Le nombre 1 argument de arrestingOfficer est une instance de PlacingUnderArrest |
antecedent |
(=> (and (instance ?ARREST PlacingUnderArrest) (agent ?ARREST ?AGENT)) (instance ?AGENT CognitiveAgent)) |
Mid-level-ontology.kif 23534-23538 |
|
(=> (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 23546-23556 |
|
consequent |