(=>     (instance ?NECK Neck)     (exists (?HEAD)         (and             (instance ?HEAD Head)             (connected ?NECK ?HEAD))))	Mid-level-ontology.kif 10527-10532	instance Object and Neck Object instance Object and Head connected Object and Object
(=>     (instance ?NOSE Nose)     (exists (?N1 ?N2)         (and             (instance ?N1 Nostril)             (instance ?N2 Nostril)             (not                 (equal ?N1 ?N2))             (connected ?N1 ?NOSE)             (connected ?N2 ?NOSE))))	Mid-level-ontology.kif 9622-9630	instance Object and Nose Object Object instance Object and Nostril instance Object and Nostril equal Object and Object connected Object and Object connected Object and Object
(=>     (instance ?PORCH Porch)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (connected ?PORCH ?BUILDING))))	Mid-level-ontology.kif 13323-13328	instance Object and Porch Object instance Object and Building connected Object and Object
(=>     (instance ?SAIL Sail)     (exists (?MAST)         (and             (material Fabric ?SAIL)             (instance ?MAST Mast)             (connected ?SAIL ?MAST))))	Mid-level-ontology.kif 24440-24446	instance CorpuscularObject and Sail Object material Fabric and CorpuscularObject instance Object and Mast connected CorpuscularObject and Object
(=>     (instance ?SHOWER Shower)     (exists (?X ?FLOOR)         (and             (or                 (instance ?X Wall)                 (instance ?X Ceiling))             (connected ?SHOWER ?X)             (instance ?FLOOR Floor)             (orientation ?SHOWER ?FLOOR Above))))	Mid-level-ontology.kif 2498-2507	instance Object and Shower Object Object instance Object and Wall instance Object and Ceiling connected Object and Object instance Object and Floor orientation Object, Object and Above
(=>     (instance ?SYSTEM RiverSystem)     (exists (?RIVER ?STATIC)         (and             (instance ?RIVER River)             (part ?RIVER ?SYSTEM)             (instance ?STATIC StaticWaterArea)             (connected ?RIVER ?STATIC))))	Geography.kif 5201-5208	instance Object and RiverSystem Object Object instance Object and River part Object and Object instance Object and StaticWaterArea connected Object and Object
(=>     (instance ?THROAT Throat)     (exists (?MOUTH)         (and             (instance ?MOUTH Mouth)             (connected ?THROAT ?MOUTH))))	Mid-level-ontology.kif 9942-9947	instance Object and Throat Object instance Object and Mouth connected Object and Object
(=>     (instance ?TT TractorTrailer)     (exists (?TRAC ?TRAIL)         (and             (instance ?TRAC TruckTractor)             (instance ?TRAIL TruckTrailer)             (part ?TRAC ?TT)             (part ?TRAIL ?TT)             (connected ?TRAC ?TRAIL))))	Transportation.kif 1821-1829	instance Object and TractorTrailer Object Object instance Object and TruckTractor instance Object and TruckTrailer part Object and Object part Object and Object connected Object and Object
(=>     (instance ?WATER Estuary)     (exists (?SEA)         (and             (instance ?SEA SaltWaterArea)             (part ?SEA WorldOcean)             (connected ?SEA ?WATER))))	Geography.kif 4865-4871	instance Object and Estuary Object instance Object and SaltWaterArea part Object and WorldOcean connected Object and Object
(=>     (instance ?X CarBombing)     (exists (?BOMB ?CAR)         (and             (instance ?BOMB Bomb)             (instance ?CAR TransportationDevice)             (instrument ?X ?CAR)             (instrument ?X ?BOMB)             (connected ?CAR ?BOMB))))	Mid-level-ontology.kif 19664-19672	instance Process and CarBombing Object Object instance Object and Bomb instance Object and TransportationDevice instrument Process and Object instrument Process and Object connected Object and Object
(=>     (instance ?X FuelCapLock)     (hasPurpose ?X         (exists (?TANK ?HOLE)             (and                 (instance ?TANK GasTank)                 (hole ?HOLE ?TANK)                 (decreasesLikelihood                     (holdsDuring ?T                         (and                             (connected ?X ?HOLE)                             (attribute ?X Locked)))                     (holdsDuring ?T                         (exists (?STEAL ?FUEL)                             (and                                 (instance ?STEAL Stealing)                                 (instance ?FUEL Fuel)                                 (located ?FUEL ?TANK)                                 (patient ?STEAL ?FUEL)))))))))	Cars.kif 1007-1025	instance Physical and FuelCapLock hasPurpose Physical and entity entity instance entity and GasTank hole entity and entity decreasesLikelihood holdsDuring entity and connected Physical and entity attribute Physical and Locked and holdsDuring entity and entity entity instance entity and Stealing instance entity and Fuel located entity and entity patient entity and entity
(=>     (instance ?X GrabBar)     (and         (exists (?WALL)             (and                 (instance ?WALL Wall)                 (connected ?X ?WALL)))         (hasPurpose ?X             (exists (?GRAB)                 (and                     (instance ?GRAB Grabbing)                     (instrument ?GRAB ?X))))))	Mid-level-ontology.kif 24626-24637	instance Object and GrabBar Object instance Object and Wall connected Object and Object hasPurpose Object and entity instance entity and Grabbing instrument entity and Object
(=>     (instance ?X Hammock)     (and         (material Fabric ?X)         (exists (?POLE1 ?POLE2 ?GROUND)             (and                 (orientation ?POLE1 ?POLE2 Near)                 (connected ?POLE1 ?X)                 (connected ?POLE2 ?X)                 (instance ?GROUND LandArea)                 (located ?X ?GROUND)                 (orientation ?X ?GROUND Above)))))	Mid-level-ontology.kif 4490-4501	instance CorpuscularObject and Hammock material Fabric and CorpuscularObject Object Object and Object orientation Object, Object and Near connected Object and CorpuscularObject connected Object and CorpuscularObject instance Object and LandArea located CorpuscularObject and Object orientation CorpuscularObject, Object and Above
(=>     (instance ?X MultimediaProjector)     (hasPurpose ?X         (exists (?RS ?SCREEN ?VIDEO)             (and                 (instance ?RS RadiatingLight)                 (instrument ?RS ?X)                 (patient ?RS ?VIDEO)                 (or                     (instance ?VIDEO VideoRecording)                     (instance ?VIDEO Image))                 (destination ?RS ?SCREEN)                 (instance ?SCREEN Artifact)                 (attribute ?SCREEN Flat)                 (not                     (connected ?X ?SCREEN))))))	Mid-level-ontology.kif 24254-24268	instance Physical and MultimediaProjector hasPurpose Physical and entity entity and entity instance entity and RadiatingLight instrument entity and Physical patient entity and entity instance entity and VideoRecording instance entity and Image destination entity and entity instance entity and Artifact attribute entity and Flat connected Physical and entity
(=>     (instance ?X TapeRecorder)     (hasPurpose ?X         (exists (?AUDIO ?TAPE ?PROC)             (and                 (instance ?PROC IntentionalProcess)                 (instrument ?PROC ?X)                 (result ?PROC ?AUDIO)                 (instance ?AUDIO AudioRecording)                 (instance ?TAPE RecordingTape)                 (holdsDuring ?PROC                     (connected ?TAPE ?X))                 (before                     (BeginFn                         (WhenFn ?PROC))                     (BeginFn                         (WhenFn                             (part ?AUDIO ?TAPE))))))))	Media.kif 1340-1354	instance Physical and TapeRecorder hasPurpose Physical and entity entity and entity instance entity and IntentionalProcess instrument entity and Physical result entity and entity instance entity and AudioRecording instance entity and RecordingTape holdsDuring entity and connected entity and Physical before BeginFn WhenFn entity and BeginFn WhenFn part entity and entity
(=>     (orientation ?OBJ1 ?OBJ2 Above)     (not         (connected ?OBJ1 ?OBJ2)))	Merge.kif 15895-15898	orientation Object, Object and Above connected Object and Object
(=>     (orientation ?OBJ1 ?OBJ2 Near)     (not         (connected ?OBJ1 ?OBJ2)))	Merge.kif 15948-15951	orientation Object, Object and Near connected Object and Object
(=>     (orientation ?OBJ1 ?OBJ2 On)     (connected ?OBJ1 ?OBJ2))	Merge.kif 15962-15964	orientation Object, Object and On connected Object and Object
(=>     (pathInSystem ?P ?S)     (or         (routeInSystem ?P ?S)         (exists (?R1 ?R2)             (and                 (routeInSystem ?R1 ?S)                 (routeInSystem ?R2 ?S)                 (part ?R1 ?P)                 (part ?R2 ?P)                 (connected ?R1 ?R2)))))	Transportation.kif 2705-2715	pathInSystem Transitway and TransitSystem routeInSystem Transitway and TransitSystem Transitway Transitway routeInSystem Transitway and TransitSystem routeInSystem Transitway and TransitSystem part Transitway and Transitway part Transitway and Transitway connected Transitway and Transitway
(=>     (routeEnd ?R ?TS)     (exists (?T)         (and             (instance ?T Transitway)             (connected ?R ?T)             (systemPart ?T ?TS)             (not                 (exists (?T2)                     (and                         (instance ?T2 Transitway)                         (connected ?R ?T2)                         (systemPart ?T2 ?TS)                         (not                             (equal ?T ?T2))))))))	Transportation.kif 2761-2775	routeEnd Region and TransitSystem Object instance Object and Transitway connected Region and Object systemPart Object and TransitSystem Object instance Object and Transitway connected Region and Object systemPart Object and TransitSystem equal Object and Object
(=>     (routeStart ?R ?TS)     (exists (?T)         (and             (instance ?T Transitway)             (connected ?R ?T)             (systemPart ?T ?TS)             (not                 (exists (?T2)                     (and                         (instance ?T2 Transitway)                         (connected ?R ?T2)                         (systemPart ?T2 ?TS)                         (not                             (equal ?T ?T2))))))))	Transportation.kif 2738-2752	routeStart Region and TransitSystem Object instance Object and Transitway connected Region and Object systemPart Object and TransitSystem Object instance Object and Transitway connected Region and Object systemPart Object and TransitSystem equal Object and Object
(=>     (streamOutfall ?MOUTH ?RIVER)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (flows ?RIVER ?WATER)             (connected ?MOUTH ?WATER))))	Geography.kif 5369-5375	streamOutfall WaterArea and River Object instance Object and WaterArea flows River and Object connected WaterArea and Object

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