(=>     (equipmentType ?O ?T)     (exists (?D)         (and             (instance ?D ?T)             (or                 (part ?D ?O)                 (connected ?D ?O)))))	Mid-level-ontology.kif 25989-25996	If a kind of device is an equipment type of an artifact, then there exists an object such that the object is an instance of a kind of device and the object is a part of the artifact or the object is connected to the artifact
(=>     (flows ?FLUID1 ?FLUID2)     (connected ?FLUID1 ?FLUID2))	Geography.kif 5745-5747	If an object is a flows of another object, then the other object is connected to the object
(=>     (hole ?HOLE ?OBJ)     (connected ?HOLE ?OBJ))	Merge.kif 10073-10075	If a hole is a hole in a self connected object, then the hole is connected to the self connected object
(=>     (instance ?F Fireplace)     (exists (?C)         (and             (instance ?C Chimney)             (connected ?F ?C))))	Mid-level-ontology.kif 16739-16744	If an object is an instance of fireplace, then there exists another object such that the other object is an instance of chimney and the object is connected to the other object
(=>     (instance ?GULF Gulf)     (exists (?SEA)         (and             (or                 (instance ?SEA Sea)                 (instance ?SEA Ocean))             (connected ?GULF ?SEA))))	Geography.kif 5383-5390	If an object is an instance of gulf, then there exists another object such that the other object is an instance of sea or the other object is an instance of ocean and the object is connected to the other object
(=>     (instance ?INLET Inlet)     (exists (?WATER)         (and             (instance ?WATER WaterArea)             (connected ?INLET ?WATER))))	Geography.kif 5523-5528	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 ?LABEL Label)     (exists (?OBJ)         (and             (instance ?OBJ SelfConnectedObject)             (connected ?LABEL ?OBJ)             (refers ?LABEL ?OBJ))))	Mid-level-ontology.kif 15848-15854	If an object is an instance of label, then there exists another object such that the other object is an instance of self connected object and the object is connected to the other object and the object includes a reference to the other object
(=>     (instance ?NA NetworkAdapter)     (exists (?Net)         (and             (instance ?Net ComputerNetwork)             (connected ?NA ?Net))))	QoSontology.kif 940-945	If an object is an instance of network adapter, then there exists another object such that the other object is an instance of computer network and the object is connected to the other object
(=>     (instance ?NECK Neck)     (exists (?HEAD)         (and             (instance ?HEAD Head)             (connected ?NECK ?HEAD))))	Mid-level-ontology.kif 14206-14211	If an object is an instance of neck, then there exists another object such that the other object is an instance of head and the object is connected to the other 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 12648-12656	If an object is an instance of nose, then there exist another object and a third object such that the other object is an instance of nostril and the third object is an instance of nostril and equal the other object and the third object and the other object is connected to the object and the third object is connected to the object
(=>     (instance ?PORCH Porch)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (connected ?PORCH ?BUILDING))))	Mid-level-ontology.kif 17017-17022	If an object is an instance of veranda, then there exists another object such that the other object is an instance of building and the object is connected to the other object
(=>     (instance ?SAIL Sail)     (exists (?MAST)         (and             (material Fabric ?SAIL)             (instance ?MAST Mast)             (connected ?SAIL ?MAST))))	Mid-level-ontology.kif 28246-28252	If a corpuscular object is an instance of sail, then there exists an object such that the corpuscular object is made of fabric and the object is an instance of mast and the corpuscular object is connected to the 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 2500-2509	If an object is an instance of shower, then there exist another object and a third object such that the other object is an instance of wall or the other object is an instance of ceiling and the object is connected to the other object and the third object is an instance of floor and the object is above to the third object
(=>     (instance ?SL SalineLock)     (hasPurpose ?SL         (exists (?IVL)             (and                 (instance ?IVL IVLine)                 (connected ?SL ?IVL)))))	Medicine.kif 1105-1111	If a physical is an instance of saline lock, then the physical has the purpose there exists an entity such that the entity is an instance of IV Line and the physical is connected to the entity
(=>     (instance ?SYSTEM RiverSystem)     (exists (?RIVER ?STATIC)         (and             (instance ?RIVER River)             (part ?RIVER ?SYSTEM)             (instance ?STATIC StaticWaterArea)             (connected ?RIVER ?STATIC))))	Geography.kif 5827-5834	If an object is an instance of river system, then there exist another object and a third object such that the other object is an instance of river and the other object is a part of the object and the third object is an instance of static water area and the other object is connected to the third object
(=>     (instance ?T Trachea)     (exists (?TH)         (and             (instance ?TH Throat)             (connected ?TH ?T))))	Mid-level-ontology.kif 13071-13076	If an object is an instance of trachea, then there exists the objectH such that the objectH is an instance of throat and the objectH is connected to the object
(=>     (instance ?THROAT Throat)     (exists (?MOUTH)         (and             (instance ?MOUTH Mouth)             (connected ?THROAT ?MOUTH))))	Mid-level-ontology.kif 13058-13063	If an object is an instance of throat, then there exists another object such that the other object is an instance of mouth and the object is connected to the other 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 1971-1979	If an object is an instance of tractor trailer, then there exist another object and a third object such that the other object is an instance of truck tractor and the third object is an instance of truck trailer and the other object is a part of the object and the third object is a part of the object and the other object is connected to the third object
(=>     (instance ?WATER Estuary)     (exists (?SEA)         (and             (instance ?SEA SaltWaterArea)             (part ?SEA WorldOcean)             (connected ?SEA ?WATER))))	Geography.kif 5478-5484	If an object is an instance of estuary, then there exists another object such that the other object is an instance of salt water area and the other object is a part of world ocean and the other object is connected to the 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 23481-23489	If a process is an instance of car bombing, then there exist an object and another object such that the object is an instance of bomb and the other object is an instance of transportation device and the other object is an instrument for the process and the object is an instrument for the process and the other object is connected to the object
(=>     (instance ?X FuelCapLock)     (hasPurpose ?X         (exists (?TANK ?HOLE ?T)             (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 1016-1034	If a physical is an instance of fuel cap lock, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas tank and the other entity is a hole in the entity and the physical is connected to the other entity and locked is an attribute of the physical holds during the third entity decreases likelihood of there exist a fourth entity and a fifth entity such that the fourth entity is an instance of stealing and the fifth entity is an instance of fuel and the fifth entity is located at the entity and the fifth entity is a patient of the fourth entity holds during the third 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 28381-28392	If an object is an instance of grab bar, then there exists another object such that the other object is an instance of wall and the object is connected to the other object and the object has the purpose there exists an entity such that the entity is an instance of grabbing and the object is an instrument for the entity
(=>     (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 4401-4412	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
(=>     (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 28128-28142	If a physical is an instance of multimedia projector, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of radiating light and the physical is an instrument for the entity and the third entity is a patient of the entity and the third entity is an instance of video recording or the third entity is an instance of image and the entity ends up at the other entity and the other entity is an instance of artifact and flat is an attribute of the other entity and the physical is not connected to the other 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 1338-1352	If a physical is an instance of tape recorder, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity and the entity is a result of the third entity and the entity is an instance of audio recording and the other entity is an instance of recording tape and the other entity is connected to the physical holds during the third entity and the beginning of the time of existence of the third entity happens before the beginning of the time of existence of the entity is a part of the other entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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