Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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 Translocation ist eine teilkategorie von Motion
(subclass Vaccination Translocation) WMD.kif 1067-1067 Vaccination ist eine teilkategorie von Translocation
(subclass ShipBerthing Translocation) Transportation.kif 3017-3017 ShipBerthing ist eine teilkategorie von Translocation
(subclass LandingWaterLand Translocation) MilitaryProcesses.kif 808-808 LandingWaterLand ist eine teilkategorie von Translocation
(subclass Crawling Translocation) Mid-level-ontology.kif 4382-4382 Crawling ist eine teilkategorie von Translocation
(subclass MilitaryInfiltration Translocation) Mid-level-ontology.kif 13953-13953 MilitaryInfiltration ist eine teilkategorie von Translocation
(subclass Accelerating Translocation) Mid-level-ontology.kif 17138-17138 Accelerating ist eine teilkategorie von Translocation
(subclass Decelerating Translocation) Mid-level-ontology.kif 17166-17166 Decelerating ist eine teilkategorie von Translocation
(subclass Flying Translocation) Mid-level-ontology.kif 17225-17225 Flying ist eine teilkategorie von Translocation
(subclass TakingOff Translocation) Mid-level-ontology.kif 17236-17236 TakingOff ist eine teilkategorie von Translocation
(subclass Landing Translocation) Mid-level-ontology.kif 17249-17249 Landing ist eine teilkategorie von Translocation
(subclass Returning Translocation) Mid-level-ontology.kif 17262-17262 Returning ist eine teilkategorie von Translocation
(subclass Escaping Translocation) Mid-level-ontology.kif 17276-17276 Escaping ist eine teilkategorie von Translocation
(subclass Leaving Translocation) Mid-level-ontology.kif 17297-17297 Leaving ist eine teilkategorie von Translocation
(subclass Arriving Translocation) Mid-level-ontology.kif 17308-17308 Arriving ist eine teilkategorie von Translocation
(subclass Disappearing Translocation) Mid-level-ontology.kif 17319-17319 Disappearing ist eine teilkategorie von Translocation
(subclass Immigrating Translocation) Mid-level-ontology.kif 17347-17347 Immigrating ist eine teilkategorie von Translocation
(subclass Boarding Translocation) Mid-level-ontology.kif 17376-17376 Boarding ist eine teilkategorie von Translocation
(subclass Deboarding Translocation) Mid-level-ontology.kif 17417-17417 Deboarding ist eine teilkategorie von Translocation
(subclass Trespassing Translocation) Mid-level-ontology.kif 18287-18287 Trespassing ist eine teilkategorie von Translocation
(subclass Ambulating Translocation) Merge.kif 11140-11140 Ambulating ist eine teilkategorie von Translocation
(subclass Transfer Translocation) Merge.kif 11292-11292 Transfer ist eine teilkategorie von Translocation
(subclass Falling Translocation) Merge.kif 11580-11580 Falling ist eine teilkategorie von Translocation
(subclass Transportation Translocation) Merge.kif 11594-11594 Transportation ist eine teilkategorie von Translocation
(subclass MovingTowardsPeople Translocation) emotion.kif 1417-1417 MovingTowardsPeople ist eine teilkategorie von Translocation
(subclass MovingCursor Translocation) ComputerInput.kif 1724-1724 MovingCursor ist eine teilkategorie von Translocation
(subclass Hajj Translocation) ArabicCulture.kif 121-121 Hajj ist eine teilkategorie von Translocation
(subclass Umrah Translocation) ArabicCulture.kif 185-185 Umrah ist eine teilkategorie von Translocation


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners