(=>     (equal ?FY         (FiscalYearStartingFn ?PLACE ?YEAR))     (or         (instance ?PLACE GeopoliticalArea)         (instance ?PLACE Organization)))	Economy.kif 3732-3736	If a time interval is equal to the fiscal year starting of an agent and a kind of year, then the agent is an instance of geopolitical area or the agent is an instance of organization
(=>     (equal ?OBJ3         (MereologicalSumFn ?OBJ1 ?OBJ2))     (forall (?PART)         (<=>             (part ?PART ?OBJ3)             (or                 (part ?PART ?OBJ1)                 (part ?PART ?OBJ2)))))	Merge.kif 9818-9825	If an object is equal to the union of the parts of another object and a third object, then for all a fourth object the fourth object is a part of the object if and only if the fourth object is a part of the other object or the fourth object is a part of the third object
(=>     (equipmentType ?O ?T)     (exists (?D)         (and             (instance ?D ?T)             (or                 (part ?D ?O)                 (connected ?D ?O)))))	Mid-level-ontology.kif 24326-24333	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
(=>     (executiveBranch ?BRANCH ?AGENT)     (or         (instance ?BRANCH GeopoliticalArea)         (instance ?BRANCH Organization)))	Government.kif 1289-1293	If an agent is an executive branch of an organization, then the organization is an instance of geopolitical area or the organization is an instance of organization
(=>     (governmentType ?AGENT ?TYPE)     (or         (instance ?AGENT Organization)         (instance ?AGENT GeopoliticalArea)))	Government.kif 136-140	If a form of government is a government type of an agent, then the agent is an instance of organization or the agent is an instance of geopolitical area
(=>     (guiElementCovered ?COVERING ?GUIE)     (and         (holdsDuring             (BeginFn                 (WhenFn ?COVERING))             (or                 (hasGUEState ?GUIE GUE_PartiallyCoveredState)                 (hasGUEState ?GUIE GUE_UncoveredState)))         (holdsDuring             (EndFn                 (WhenFn ?COVERING))             (hasGUEState ?GUIE GUE_CoveredState))))	ComputerInput.kif 2529-2537	If a covering GUI element covers a GUI element, then the GUI element has state GUE partially covered state or the GUI element has state GUE uncovered state holds during the beginning of the time of existence of the covering GUI element and the GUI element has state GUE covered state holds during the end of the time of existence of the covering GUI element
(=>     (guiElementPartiallyCovered ?ACT ?GUIE)     (or         (holdsDuring             (BeginFn                 (WhenFn ?ACT))             (hasGUEState ?GUIE GUE_UncoveredState))         (holdsDuring             (BeginFn                 (WhenFn ?ACT))             (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	ComputerInput.kif 2582-2588	If a partially covering graphical window partially covers a GUI element, then the GUI element has state GUE uncovered state holds during the beginning of the time of existence of the partially covering graphical window or the GUI element has state GUE partially covered state holds during the beginning of the time of existence of the partially covering graphical window
(=>     (guiElementUncovered ?ACT ?GUIE)     (or         (holdsDuring             (BeginFn                 (WhenFn ?ACT))             (hasGUEState ?GUIE GUE_CoveredState))         (holdsDuring             (BeginFn                 (WhenFn ?ACT))             (hasGUEState ?GUIE GUE_PartiallyCoveredState))))	ComputerInput.kif 2649-2655	If an uncovering graphical window uncovers a GUI element, then the GUI element has state GUE covered state holds during the beginning of the time of existence of the uncovering graphical window or the GUI element has state GUE partially covered state holds during the beginning of the time of existence of the uncovering graphical window
(=>     (hasGUEState ?WIN1 GUE_UncoveredState)     (or         (hasGUEState ?WIN1 GUE_DisplayedState)         (hasGUEState ?WIN1 GUE_OffscreenState)))	ComputerInput.kif 2096-2100	If a GUI element has state GUE uncovered state, then the GUI element has state GUE displayed state or the GUI element has state GUE offscreen state
(=>     (hazardous ?A ?B)     (modalAttribute         (exists (?D)             (and                 (instance ?D Damaging)                 (patient ?D ?B)                 (or                     (involvedInEvent ?D ?A)                     (causes ?A ?D)))) Possibility))	Geography.kif 5876-5885	If a physical is hazardous to an object, then the statement there exists an entity such that the entity is an instance of damaging and the object is a patient of the entity and the physical is an involved in event of the entity or the physical causes the entity has the modal force of possibility
(=>     (holdsDuring ?T         (attribute ?H Hypersalivation))     (modalAttribute         (exists (?S)             (and                 (experiencer ?S ?H)                 (during                     (WhenFn ?S) ?T)                 (or                     (instance ?S Spitting)                     (instance ?S Drooling)                     (instance ?S Nausea)))) Likely))	Medicine.kif 5326-5340	If hypersalivation is an attribute of an entity holds during a time position, then the statement there exists another entity such that the entity experiences the other entity and the time of existence of the other entity takes place during the time position and the other entity is an instance of spitting or the other entity is an instance of drooling or the other entity is an instance of nausea has the modal force of likely
(=>     (initialPart Tea ?TEA)     (or         (equal ?TEA TeaBud)         (equal ?TEA TeaLeaf)         (equal ?TEA TeaTwig)))	Food.kif 1809-1814	If every tea is initially part of a a kind of object, then a kind of object is equal to tea bud or the kind of object is equal to tea leaf or the kind of object is equal to tea twig
(=>     (instance         (LatitudeFn ?DIRECTION @ROW) Region)     (or         (equal ?DIRECTION North)         (equal ?DIRECTION South)))	Geography.kif 421-425	If the region a directional attribute of @ROW is an instance of region, then the directional attribute is equal to north or the directional attribute is equal to south
(=>     (instance         (LongitudeFn ?DIRECTION @ROW) Region)     (or         (equal ?DIRECTION East)         (equal ?DIRECTION West)))	Geography.kif 461-465	If the meridian at @ROW a directional attribute is an instance of region, then the directional attribute is equal to east or the directional attribute is equal to west
(=>     (instance ?A Ambulance)     (hasPurpose ?A         (exists (?P ?T)             (and                 (instance ?P Human)                 (or                     (attribute ?P DiseaseOrSyndrome)                     (exists (?I ?H)                         (and                             (instance ?I Injuring)                             (experiencer ?I ?H)                             (before ?I ?T))))                 (instance ?T Transportation)                 (instrument ?T ?A)                 (patient ?T ?H)))))	Transportation.kif 1906-1921	If a physical is an instance of ambulance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and disease or syndrome is an attribute of the entity or there exist a third entity and a fourth entity such that the third entity is an instance of injuring and the fourth entity experiences the third entity and the third entity happens before the other entity and the other entity is an instance of transportation and the physical is an instrument for the other entity and the fourth entity is a patient of the other entity
(=>     (instance ?AB InfantryUnit)     (exists (?AC)         (and             (or                 (instance ?AC AutomaticGun)                 (instance ?AC Firearm)                 (instance ?AC MortarGun)                 (instance ?AC ExplosiveMine))             (possesses ?AB ?AC))))	Military.kif 676-685	If an agent is an instance of infantry unit, then there exists an object such that the object is an instance of automatic gun or the object is an instance of firearm or the object is an instance of mortar gun or the object is an instance of explosive mine and the agent possesses the object
(=>     (instance ?ANIMAL Animal)     (or         (exists (?MOTION)             (and                 (instance ?MOTION BodyMotion)                 (agent ?MOTION ?ANIMAL)))         (exists (?ATTR)             (and                 (instance ?ATTR BodyPosition)                 (attribute ?ANIMAL ?ATTR)))))	Merge.kif 18069-18079	If an agent is an instance of animal, then there exists a process such that the process is an instance of body motion and the agent is an agent of the process or there exists an attribute such that the attribute is an instance of body position and the attribute is an attribute of the agent
(=>     (instance ?APP Application)     (hasPurpose ?APP         (exists (?JOIN ?GIVE)             (or                 (instance ?JOIN JoiningAnOrganization)                 (instance ?GIVE UnilateralGiving)))))	Mid-level-ontology.kif 14510-14516	If a physical is an instance of application, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of joining an organization or the other entity is an instance of unilateral giving
(=>     (instance ?AR AcidRainfall)     (exists (?RAIN ?SO2 ?NO ?NO2)         (and             (instance ?RAIN Water)             (patient ?AR ?RAIN)             (instance ?SO2 SulphurDioxide)             (instance ?NO NitricOxide)             (instance ?NO2 NitrogenDioxide)             (or                 (part ?SO2 ?RAIN)                 (part ?NO ?RAIN)                 (part ?NO2 ?RAIN)))))	Geography.kif 2495-2507	If a process is an instance of acid rainfall, then there exist an object, another object,, , a third object and the third object2 such that the object is an instance of water and the object is a patient of the process and the other object is an instance of sulphur dioxide and the third object is an instance of nitric oxide and the third object2 is an instance of nitrogen dioxide and the other object is a part of the object or the third object is a part of the object or the third object2 is a part of the object
(=>     (instance ?B Bloating)     (exists (?P ?S ?I ?G)         (and             (experiencer ?B ?P)             (instance ?G Gas)             (or                 (and                     (part ?I ?P)                     (instance ?I Intestine)                     (contains ?I ?G))                 (and                     (part ?S ?P)                     (instance ?S Stomach)                     (contains ?S ?G))))))	Mid-level-ontology.kif 6457-6471	If a process is an instance of bloating, then there exist an agent, a self connected object,, , another self connected object and an object such that the agent experiences the process and the object is an instance of gas and the other self connected object is a part of the agent and the other self connected object is an instance of intestine and the other self connected object contains the object or the self connected object is a part of the agent and the self connected object is an instance of stomach and the self connected object contains the object
(=>     (instance ?B BrushOrComb)     (hasPurpose ?B         (exists (?S)             (and                 (or                     (instance ?S Removing)                     (instance ?S SurfaceChange))                 (instrument ?S ?B)))))	Mid-level-ontology.kif 1924-1932	If a physical is an instance of brush or comb, then the physical has the purpose there exists an entity such that the entity is an instance of removing or the entity is an instance of surface change and the physical is an instrument for the entity
(=>     (instance ?BOX Box)     (equal         (CardinalityFn             (KappaFn ?SIDE                 (or                     (top ?SIDE ?BOX)                     (bottom ?SIDE ?BOX)                     (side ?SIDE ?BOX)))) 6))	Mid-level-ontology.kif 4476-4484	If an entity is an instance of box, then the number of instances in the class described by a symbolic string is equal to 6
(=>     (instance ?BUILDING Building)     (exists (?HUMAN)         (and             (instance ?HUMAN Human)             (or                 (inhabits ?HUMAN ?BUILDING)                 (exists (?ACT)                     (and                         (agent ?ACT ?HUMAN)                         (located ?ACT ?BUILDING)))))))	Merge.kif 15765-15775	If an object is an instance of building, then there exists an organism such that the organism is an instance of human and the organism lives in the object or there exists a process such that the organism is an agent of the process and the process is located at the object
(=>     (instance ?C Caterpillar)     (holdsDuring         (WhenFn ?C)         (exists (?X)             (and                 (equal ?X ?C)                 (attribute ?X Larval)                 (or                     (instance ?X Moth)                     (instance ?X Butterfly))))))	Mid-level-ontology.kif 12605-12615	If a physical is an instance of caterpillar, then there exists an entity such that the entity is equal to the physical and larval is an attribute of the entity and the entity is an instance of moth or the entity is an instance of butterfly holds during the time of existence of the physical
(=>     (instance ?C Catheter)     (hasPurpose ?C         (exists (?M ?O ?OBJ ?L)             (and                 (instance ?O Organism)                 (instance ?M Motion)                 (moves ?M ?OBJ)                 (orientation ?L ?O Outside)                 (path ?M ?C)                 (or                     (and                         (origin ?M ?L)                         (destination ?M ?O))                     (and                         (origin ?M ?O)                         (destination ?M ?L)))))))	Medicine.kif 548-564	If a physical is an instance of cannula, then the physical has the purpose there exist an entity, another entity,, , the other entityBJ and a fourth entity such that the other entity is an instance of organism and the entity is an instance of motion and the other entityBJ moves during the entity and the fourth entity is outside to the other entity and the physical is path along which the entity occurs and the entity originates at the fourth entity and the entity ends up at the other entity or the entity originates at the other entity and the entity ends up at the fourth 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