(=> (and (subclass ?TYPE Translocation) (instance ?EVENT ?TYPE) (eventLocated ?EVENT ?REGION) (instance ?ROLE CaseRole) (instance ?OBJECT Object) (instance ?REGION GeographicArea) (capability ?TYPE ?ROLE ?OBJECT)) (capableAtLocation ?TYPE ?ROLE ?OBJECT ?REGION)) |
Transportation.kif 2725-2734 | |
(=> (and (instance ?ROLE CaseRole) (?ROLE ?ARG1 ?ARG2) (instance ?ARG1 ?PROC) (subclass ?PROC Process)) (capability ?PROC ?ROLE ?ARG2)) |
Merge.kif 3911-3917 | |
(subclass CaseRole BinaryPredicate) | Merge.kif 2400-2400 | |
(subclass CaseRole InheritableRelation) | Merge.kif 2401-2401 | |
(subclass CaseRole AsymmetricRelation) | Merge.kif 2402-2402 |