(=> (and (trafficableForTrafficType ?place ?type) (subclass ?type AutonomousAgent) (instance ?mover ?type)) (capableAtLocation Translocation agent ?mover ?place)) |
Transportation.kif 2617-2622 | |
(subclass Translocation Motion) | Merge.kif 11549-11549 | |
(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 13953-13953 | |
(subclass Accelerating Translocation) | Mid-level-ontology.kif 17138-17138 | |
(subclass Decelerating Translocation) | Mid-level-ontology.kif 17166-17166 | |
(subclass Flying Translocation) | Mid-level-ontology.kif 17225-17225 | |
(subclass TakingOff Translocation) | Mid-level-ontology.kif 17236-17236 | |
(subclass Landing Translocation) | Mid-level-ontology.kif 17249-17249 | |
(subclass Returning Translocation) | Mid-level-ontology.kif 17262-17262 | |
(subclass Escaping Translocation) | Mid-level-ontology.kif 17276-17276 | |
(subclass Leaving Translocation) | Mid-level-ontology.kif 17297-17297 | |
(subclass Arriving Translocation) | Mid-level-ontology.kif 17308-17308 | |
(subclass Disappearing Translocation) | Mid-level-ontology.kif 17319-17319 | |
(subclass Immigrating Translocation) | Mid-level-ontology.kif 17347-17347 | |
(subclass Boarding Translocation) | Mid-level-ontology.kif 17376-17376 | |
(subclass Deboarding Translocation) | Mid-level-ontology.kif 17417-17417 | |
(subclass Trespassing Translocation) | Mid-level-ontology.kif 18287-18287 | |
(subclass Ambulating Translocation) | Merge.kif 11140-11140 | |
(subclass Transfer Translocation) | Merge.kif 11292-11292 | |
(subclass Falling Translocation) | Merge.kif 11580-11580 | |
(subclass Transportation Translocation) | Merge.kif 11594-11594 | |
(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 |