(=> (and (subclass ?TYPE Process) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (?ROLE ?EVENT ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) |
Transportation.kif 2692-2701 | |
(=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2)) |
Merge.kif 3910-3916 | |
(subclass CaseRole BinaryPredicate) | Merge.kif 2400-2400 | |
(subclass CaseRole InheritableRelation) | Merge.kif 2401-2401 | |
(subclass CaseRole AsymmetricRelation) | Merge.kif 2402-2402 |