| (=> (and (trafficableForTrafficType ?place ?type) (subclass ?type AutonomousAgent) (instance ?mover ?type)) (capableAtLocation Translocation agent ?mover ?place)) |
Transportation.kif 2650-2655 | |
| (=> (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 | |
| (subclass Translocation Motion) | Merge.kif 11595-11595 | |
| (subclass Vaccination Translocation) | WMD.kif 1067-1067 | |
| (subclass ShipBerthing Translocation) | Transportation.kif 3069-3069 | |
| (subclass LandingWaterLand Translocation) | MilitaryProcesses.kif 808-808 | |
| (subclass Crawling Translocation) | Mid-level-ontology.kif 4375-4375 | |
| (subclass MilitaryInfiltration Translocation) | Mid-level-ontology.kif 13980-13980 | |
| (subclass Accelerating Translocation) | Mid-level-ontology.kif 17165-17165 | |
| (subclass Decelerating Translocation) | Mid-level-ontology.kif 17193-17193 | |
| (subclass Flying Translocation) | Mid-level-ontology.kif 17252-17252 | |
| (subclass TakingOff Translocation) | Mid-level-ontology.kif 17263-17263 | |
| (subclass Landing Translocation) | Mid-level-ontology.kif 17276-17276 | |
| (subclass Returning Translocation) | Mid-level-ontology.kif 17289-17289 | |
| (subclass Escaping Translocation) | Mid-level-ontology.kif 17303-17303 | |
| (subclass Leaving Translocation) | Mid-level-ontology.kif 17324-17324 | |
| (subclass Arriving Translocation) | Mid-level-ontology.kif 17335-17335 | |
| (subclass Disappearing Translocation) | Mid-level-ontology.kif 17346-17346 | |
| (subclass Immigrating Translocation) | Mid-level-ontology.kif 17374-17374 | |
| (subclass Boarding Translocation) | Mid-level-ontology.kif 17403-17403 | |
| (subclass Deboarding Translocation) | Mid-level-ontology.kif 17444-17444 | |
| (subclass Trespassing Translocation) | Mid-level-ontology.kif 18314-18314 | |
| (subclass Ambulating Translocation) | Merge.kif 11174-11174 | |
| (subclass Transfer Translocation) | Merge.kif 11338-11338 | |
| (subclass Falling Translocation) | Merge.kif 11626-11626 | |
| (subclass Transportation Translocation) | Merge.kif 11640-11640 | |
| (subclass MovingTowardsPeople Translocation) | emotion.kif 1417-1417 | |
| (subclass MovingCursor Translocation) | ComputerInput.kif 1724-1724 | |
| (subclass Hajj Translocation) | ArabicCulture.kif 121-121 | |
| (subclass Umrah Translocation) | ArabicCulture.kif 185-185 |
|
|