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

Show simplified definition (without tree view)
Show simplified definition (with tree view)