| (=> (and (trafficableForTrafficType ?place ?type) (subclass ?type AutonomousAgent) (instance ?mover ?type)) (capableAtLocation Translocation agent ?mover ?place)) |
Transportation.kif 2617-2622 | |
| (subclass Translocation Motion) | Merge.kif 11571-11571 | |
| (subclass Vaccination Translocation) | WMD.kif 1067-1067 | |
| (subclass ShipBerthing Translocation) | Transportation.kif 3017-3017 | |
| (subclass LandingWaterLand Translocation) | MilitaryProcesses.kif 808-808 | |
| (subclass Crawling Translocation) | Mid-level-ontology.kif 4382-4382 | |
| (subclass MilitaryInfiltration Translocation) | Mid-level-ontology.kif 13952-13952 | |
| (subclass Accelerating Translocation) | Mid-level-ontology.kif 17137-17137 | |
| (subclass Decelerating Translocation) | Mid-level-ontology.kif 17165-17165 | |
| (subclass Flying Translocation) | Mid-level-ontology.kif 17224-17224 | |
| (subclass TakingOff Translocation) | Mid-level-ontology.kif 17235-17235 | |
| (subclass Landing Translocation) | Mid-level-ontology.kif 17248-17248 | |
| (subclass Returning Translocation) | Mid-level-ontology.kif 17261-17261 | |
| (subclass Escaping Translocation) | Mid-level-ontology.kif 17275-17275 | |
| (subclass Leaving Translocation) | Mid-level-ontology.kif 17296-17296 | |
| (subclass Arriving Translocation) | Mid-level-ontology.kif 17307-17307 | |
| (subclass Disappearing Translocation) | Mid-level-ontology.kif 17318-17318 | |
| (subclass Immigrating Translocation) | Mid-level-ontology.kif 17346-17346 | |
| (subclass Boarding Translocation) | Mid-level-ontology.kif 17375-17375 | |
| (subclass Deboarding Translocation) | Mid-level-ontology.kif 17416-17416 | |
| (subclass Trespassing Translocation) | Mid-level-ontology.kif 18286-18286 | |
| (subclass Ambulating Translocation) | Merge.kif 11162-11162 | |
| (subclass Transfer Translocation) | Merge.kif 11314-11314 | |
| (subclass Falling Translocation) | Merge.kif 11602-11602 | |
| (subclass Transportation Translocation) | Merge.kif 11616-11616 | |
| (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 |
|
|