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 2610-2615
(subclass TransportationDevice Device) Merge.kif 15965-15965
(subclass SnowSki TransportationDevice) Sports.kif 1035-1035
(subclass WaterSki TransportationDevice) Sports.kif 1225-1225
(subclass WindSurfingBoard TransportationDevice) Sports.kif 1279-1279
(subclass MilitaryPlatform TransportationDevice) Military.kif 128-128
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 15422-15422
(subclass Pump TransportationDevice) Mid-level-ontology.kif 15448-15448
(subclass Oar TransportationDevice) Mid-level-ontology.kif 15461-15461
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 26124-26124
(subclass Vehicle TransportationDevice) Merge.kif 15974-15974


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