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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (subclass ?TYPE TransportationDevice)
        (subclass
            (TransportationFn ?TYPE) Transportation)
        (instance ?TRIP
            (TransportationFn ?TYPE)))
    (exists (?VEHICLE)
        (and
            (instance ?VEHICLE ?TYPE)
            (instrument ?TRIP ?VEHICLE))))
Transportation.kif 1572-1580
(=>
    (and
        (trafficableForTrafficType ?PLACE ?TYPE)
        (subclass ?TYPE TransportationDevice)
        (instance ?MOVER ?TYPE))
    (capableAtLocation Transportation instrument ?MOVER ?PLACE))
Transportation.kif 2655-2660
(subclass TransportationDevice Device) Merge.kif 16037-16037 Transportation device is a subclass of device
(subclass SnowSki TransportationDevice) Sports.kif 1036-1036 Ski is a subclass of transportation device
(subclass WaterSki TransportationDevice) Sports.kif 1226-1226 Water ski is a subclass of transportation device
(subclass WindSurfingBoard TransportationDevice) Sports.kif 1280-1280 Wind surfing board is a subclass of transportation device
(subclass MilitaryPlatform TransportationDevice) Military.kif 128-128 Military platform is a subclass of transportation device
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 15449-15449 Elevator is a subclass of transportation device
(subclass Pump TransportationDevice) Mid-level-ontology.kif 15475-15475 Pump is a subclass of transportation device
(subclass Oar TransportationDevice) Mid-level-ontology.kif 15488-15488 Oar is a subclass of transportation device
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 26157-26157 Wheelchair is a subclass of transportation device
(subclass Vehicle TransportationDevice) Merge.kif 16046-16046 Vehicle is a subclass of transportation device


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