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 15987-15987 运输设备 是 设备 的 subclass
(subclass SnowSki TransportationDevice) Sports.kif 1036-1036 SnowSki 是 运输设备 的 subclass
(subclass WaterSki TransportationDevice) Sports.kif 1226-1226 WaterSki 是 运输设备 的 subclass
(subclass WindSurfingBoard TransportationDevice) Sports.kif 1280-1280 WindSurfingBoard 是 运输设备 的 subclass
(subclass MilitaryPlatform TransportationDevice) Military.kif 128-128 军事平台 是 运输设备 的 subclass
(subclass Elevator TransportationDevice) Mid-level-ontology.kif 15421-15421 电梯 是 运输设备 的 subclass
(subclass Pump TransportationDevice) Mid-level-ontology.kif 15447-15447 泵 是 运输设备 的 subclass
(subclass Oar TransportationDevice) Mid-level-ontology.kif 15460-15460 桨 是 运输设备 的 subclass
(subclass Wheelchair TransportationDevice) Mid-level-ontology.kif 26112-26112 Wheelchair 是 运输设备 的 subclass
(subclass Vehicle TransportationDevice) Merge.kif 15996-15996 车辆 是 运输设备 的 subclass


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