(=>     (instance ?NECK Neck)     (exists (?HEAD)         (and             (instance ?HEAD Head)             (connected ?NECK ?HEAD))))	Mid-level-ontology.kif 10501-10506	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 9627-9635	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 13297-13302	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 24403-24409	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 2492-2501	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 5202-5209	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 9947-9952	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 19627-19635	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 1006-1024	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 24589-24600	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 4484-4495	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 24217-24231	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 15775-15778	orientation Object, Object and Above connected Object and Object
(=>     (orientation ?OBJ1 ?OBJ2 Near)     (not         (connected ?OBJ1 ?OBJ2)))	Merge.kif 15828-15831	orientation Object, Object and Near connected Object and Object
(=>     (orientation ?OBJ1 ?OBJ2 On)     (connected ?OBJ1 ?OBJ2))	Merge.kif 15842-15844	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 2696-2706	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 2752-2766	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 2729-2743	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 5370-5376	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners