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 11616-11616 Transportation ist eine teilkategorie von Translocation
(subclass Shipping Transportation) Mid-level-ontology.kif 7692-7692 Shipping ist eine teilkategorie von Transportation
(subclass Smuggling Transportation) Mid-level-ontology.kif 7705-7705 Smuggling ist eine teilkategorie von Transportation
(subclass AirTransportation Transportation) Mid-level-ontology.kif 17684-17684 AirTransportation ist eine teilkategorie von Transportation
(subclass SpaceTransportation Transportation) Mid-level-ontology.kif 17697-17697 SpaceTransportation ist eine teilkategorie von Transportation
(subclass WaterTransportation Transportation) Mid-level-ontology.kif 17738-17738 WaterTransportation ist eine teilkategorie von Transportation
(subclass LandTransportation Transportation) Mid-level-ontology.kif 17766-17766 LandTransportation ist eine teilkategorie von Transportation
(subclass TransportViaRoadVehicle Transportation) Mid-level-ontology.kif 17789-17789 TransportViaRoadVehicle ist eine teilkategorie von Transportation
(subclass Driving Transportation) Merge.kif 11635-11635 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