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 Transportation Translocation) Merge.kif 11594-11594 Transportation ist eine teilkategorie von Translocation
(subclass Shipping Transportation) Mid-level-ontology.kif 7693-7693 Shipping ist eine teilkategorie von Transportation
(subclass Smuggling Transportation) Mid-level-ontology.kif 7706-7706 Smuggling ist eine teilkategorie von Transportation
(subclass AirTransportation Transportation) Mid-level-ontology.kif 17685-17685 AirTransportation ist eine teilkategorie von Transportation
(subclass SpaceTransportation Transportation) Mid-level-ontology.kif 17698-17698 SpaceTransportation ist eine teilkategorie von Transportation
(subclass WaterTransportation Transportation) Mid-level-ontology.kif 17739-17739 WaterTransportation ist eine teilkategorie von Transportation
(subclass LandTransportation Transportation) Mid-level-ontology.kif 17767-17767 LandTransportation ist eine teilkategorie von Transportation
(subclass TransportViaRoadVehicle Transportation) Mid-level-ontology.kif 17790-17790 TransportViaRoadVehicle ist eine teilkategorie von Transportation
(subclass Driving Transportation) Merge.kif 11613-11613 Driving ist eine teilkategorie von Transportation
(subclass MoveToEvac Transportation) Medicine.kif 6531-6531 MoveToEvac ist eine teilkategorie von Transportation


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