consequent

(=>     (and         (attribute ?X DeepSeaCoastalAndGreatLakesWaterTransportation)         (instance ?X TransportationCompany))     (exists (?SERVICE ?PLACE)         (and             (instance ?SERVICE WaterTransportationService)             (serviceProvider ?SERVICE ?X)             (eventLocated ?SERVICE ?PLACE)             (instance ?PLACE WaterArea)             (located ?X NorthAmerica))))	naics.kif 8120-8130	If deep sea coastal and great lakes water transportation is an attribute of a cognitive agent and the cognitive agent is an instance of transportation company, then there exist a service and an object such that the service is an instance of Water Transportation Service and the cognitive agent provides a service during the service and the service is located at the object and the object is an instance of water area and the cognitive agent is located at north america
(=>     (and         (instance ?ASO AntiSurfaceOperation)         (patient ?ASO ?TARGET)         (holdsDuring             (WhenFn ?ASO)             (located ?TARGET ?LOCATION)))     (instance ?LOCATION WaterArea))	MilitaryProcesses.kif 665-671	If a process is an instance of anti surface operation and an entity is a patient of the process and the entity is located at another entity holds during the time of existence of the process, then the other entity is an instance of water area
(=>     (and         (instance ?CRAFT WaterVehicle)         (instance ?EVENT Transportation)         (instrument ?EVENT ?CRAFT))     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (eventLocated ?EVENT ?WATER))))	Mid-level-ontology.kif 3941-3949	If an object is an instance of water vehicle and a process is an instance of transportation and the object is an instrument for the process, then there exists another object such that the other object is an instance of water area and the process is located at the other object
(=>     (and         (instance ?Isthmus Isthmus)         (side ?Leftside ?Isthmus)         (side ?Rightside ?Isthmus)         (not             (equal ?Leftside ?Rightside)))     (exists (?Region1 ?Region2 ?Water1 ?Water2)         (and             (instance ?Region1 LandArea)             (instance ?Region2 LandArea)             (between ?Region1 ?Isthmus ?Region2)             (instance ?Water1 WaterArea)             (instance ?Water2 WaterArea)             (meetsSpatially ?Leftside ?Water1)             (meetsSpatially ?Rightside ?Water2))))	Geography.kif 7359-7373	If a self connected object is an instance of isthmus and a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and equal the other self connected object and the third self connected object, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of land area and the other object is an instance of land area and the self connected object is between the object and the other object and the third object is an instance of water area and the fourth object is an instance of water area and the other self connected object meets the third object and the third self connected object meets the fourth object
(=>     (and         (instance ?SWIM Swimming)         (agent ?SWIM ?AGENT))     (exists (?AREA)         (and             (instance ?AREA WaterArea)             (located ?AGENT ?AREA))))	Merge.kif 11309-11316	If a process is an instance of swimming and an agent is an agent of the process, then there exists an object such that the object is an instance of water area and the agent is located at the object
(=>     (and         (instance ?SYSTEM InlandWaterSystem)         (instance ?WATER1 WaterArea)         (instance ?WATER2 WaterArea)         (not             (equal ?WATER1 ?WATER2))         (not             (connected ?WATER1 ?WATER2))         (geographicSubregion ?WATER1 ?SYSTEM)         (geographicSubregion ?WATER2 ?SYSTEM))     (exists (?WATER3)         (and             (instance ?WATER3 WaterArea)             (not                 (equal ?WATER3 ?WATER1))             (not                 (equal ?WATER3 ?WATER1))             (part ?WATER3 ?SYSTEM)             (connects ?WATER3 ?WATER1 ?WATER2))))	Geography.kif 6916-6931	If a geographic area is an instance of inland water system and another geographic area is an instance of water area and a third geographic area is an instance of water area and equal the other geographic area and the third geographic area and the other geographic area is not connected to the third geographic area and the other geographic area is a geographic subregion of the geographic area and the third geographic area is a geographic subregion of the geographic area, then there exists an object such that the object is an instance of water area and equal the object and the other geographic area and equal the object and the other geographic area and the object is a part of the geographic area and the object connects the other geographic area and the third geographic area
(=>     (and         (instance ?WW WaterWave)         (waveHeight ?WW ?WH))     (exists (?LIST ?WA ?U ?SWH)         (and             (inList ?WH ?LIST)             (instance ?WA WaterArea)             (eventLocated ?WW ?WA)             (instance ?U UnitOfLength)             (significantWaveHeight ?WA                 (WhenFn ?WW)                 (MeasureFn ?SWH ?U))             (equal ?SWH                 (MultiplicationFn 4.0                     (StandardDeviationFn ?LIST))))))	Weather.kif 2854-2869	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and a real number such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and equal the real number and 4.0 and The StandardDeviationFn of the list
(=>     (and         (instance ?X WaterTransportationService)         (serviceProvider ?X ?Y)         (attribute ?Y CoastalAndGreatLakesFreightTransportation))     (exists (?FREIGHT ?SHIP ?WATER)         (and             (subProcess ?FREIGHT ?X)             (instance ?FREIGHT WaterTransportation)             (instrument ?FREIGHT ?SHIP)             (instance ?SHIP CargoShip)             (eventLocated ?FREIGHT ?WATER)             (instance ?WATER WaterArea)             (geographicSubregion ?WATER UnitedStates))))	naics.kif 8184-8197	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
(=>     (and         (instance ?X WaterTransportationService)         (serviceProvider ?X ?Y)         (attribute ?Y CoastalAndGreatLakesPassengerTransportation))     (exists (?CRUISE ?SHIP ?WATER)         (and             (subProcess ?CRUISE ?X)             (instance ?CRUISE WaterTransportation)             (instrument ?CRUISE ?SHIP)             (instance ?SHIP PassengerShip)             (eventLocated ?CRUISE ?WATER)             (instance ?WATER WaterArea)             (geographicSubregion ?WATER UnitedStates)             (not                 (exists (?FERRY)                     (and                         (instance ?FERRY ShortSeaPassengerShip)                         (equal ?SHIP ?FERRY)))))))	naics.kif 8207-8225	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes passenger transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and equal the object and the entity
(=>     (and         (subclass ?TYPE WaterVehicle)         (instance ?EVENT             (TransportationFn ?TYPE))         (eventLocated ?EVENT ?PLACE))     (instance ?PLACE WaterArea))	Transportation.kif 2462-2467	If a kind of transportation device is a subclass of water vehicle and a process is an instance of the transportation of a kind of transportation device and the process is located at an object, then the object is an instance of water area
(=>     (instance ?BANK ShoreArea)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?BANK ?WATER))))	Merge.kif 14324-14329	If an object is an instance of shore area, then there exists another object such that the other object is an instance of water area and the object meets the other object
(=>     (instance ?CHANNEL Canal)     (exists (?WATER1 ?WATER2)         (and             (instance ?WATER1 WaterArea)             (instance ?WATER2 WaterArea)             (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 7135-7141	If an object is an instance of canal, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
(=>     (instance ?CHANNEL Channel)     (exists (?WATER1 ?WATER2)         (and             (instance ?WATER1 WaterArea)             (instance ?WATER2 WaterArea)             (connects ?CHANNEL ?WATER1 ?WATER2))))	Geography.kif 6858-6864	If an object is an instance of channel, then there exist another object and a third object such that the other object is an instance of water area and the third object is an instance of water area and the object connects the other object and the third object
(=>     (instance ?Cape Cape)     (exists (?WaterRegion)         (and             (instance ?WaterRegion WaterArea)             (penetrates ?Cape ?WaterRegion))))	Geography.kif 7347-7352	If an object is an instance of cape, then there exists another object such that the other object is an instance of water area and the object penetrates the other object
(=>     (instance ?DAM Dam)     (exists (?RIVER)         (and             (instance ?RIVER WaterArea)             (traverses ?DAM ?RIVER))))	Geography.kif 7153-7158	If an object is an instance of dam, then there exists another object such that the other object is an instance of water area and the object traverses the other object
(=>     (instance ?EXCLUSIVELANDAREA SurfaceGroundArea)     (not         (exists (?WATERAREA)             (and                 (instance ?WATERAREA WaterArea)                 (part ?WATERAREA ?EXCLUSIVELANDAREA)))))	Geography.kif 1975-1981	If an object is an instance of surface ground area, then there doesn't exist another object such that the other object is an instance of water area and the other object is a part of the object
(=>     (instance ?INLET Inlet)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (connected ?INLET ?WATER))))	Geography.kif 6756-6761	If an object is an instance of inlet, then there exists another object such that the other object is an instance of water area and the object is connected to the other object
(=>     (instance ?ISLE Island)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?ISLE ?WATER))))	Merge.kif 14366-14371	If an object is an instance of island, then there exists another object such that the other object is an instance of water area and the object meets the other object
(=>     (instance ?LAND Shoal)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?LAND ?WATER))))	Geography.kif 7449-7454	If an object is an instance of shoal, then there exists another object such that the other object is an instance of water area and the object meets the other object
(=>     (instance ?LAND SubmergedLandArea)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (orientation ?LAND ?WATER Below)             (orientation ?WATER ?LAND On)             (meetsSpatially ?LAND ?WATER))))	Geography.kif 7608-7615	If an object is an instance of submerged land area, then there exists another object such that the other object is an instance of water area and the object is below to the other object and the other object is on to the object and the object meets the other object
(=>     (instance ?LINE Shoreline)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (meetsSpatially ?WATER ?LINE))))	Geography.kif 7674-7679	If an object is an instance of shoreline, then there exists another object such that the other object is an instance of water area and the other object meets the object
(=>     (instance ?P Wading)     (exists (?W)         (and             (instance ?W WaterArea)             (eventLocated ?P ?W))))	Mid-level-ontology.kif 529-534	If a process is an instance of wading, then there exists an object such that the object is an instance of water area and the process is located at the object
(=>     (instance ?Peninsula Peninsula)     (exists (?Water)         (and             (instance ?Water WaterArea)             (penetrates ?Peninsula ?Water))))	Geography.kif 7336-7341	If an object is an instance of peninsula, then there exists another object such that the other object is an instance of water area and the object penetrates the other object
(=>     (instance ?R UnderwaterRegion)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (orientation ?R ?WATER Below))))	Mid-level-ontology.kif 19215-19220	If an object is an instance of under water, then there exists another object such that the other object is an instance of water area and the object is below to the other object
(=>     (instance ?Reef Reef)     (exists (?Water)         (and             (instance ?Water WaterArea)             (orientation ?Reef ?Water Near))))	Geography.kif 7478-7483	If an object is an instance of reef, then there exists another object such that the other object is an instance of water area and the object is near to the other object
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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