(=>     (instance ?C Cell)     (modalAttribute         (or             (cellShape ?C Sphere)             (cellShape ?C Cylinder)) Likely))	VirusProteinAndCellPart.kif 418-423	If an entity is an instance of cell, then the statement the entity cells are shaped like a sphere or the entity cells are shaped like a cylinder has the modal force of likely
(=>     (instance ?C Chromatography)     (exists (?M)         (and             (resource ?C ?M)             (or                 (instance ?M LiquidMixture)                 (instance ?M GasMixture)))))	Mid-level-ontology.kif 19647-19654	If a process is an instance of chromatography, then there exists an object such that the object is a resource for the process and the object is an instance of liquid mixture or the object is an instance of gas mixture
(=>     (instance ?C Collar)     (exists (?OC)         (and             (part ?C ?OC)             (or                 (instance ?OC Coat)                 (instance ?OC Shirt)))))	Mid-level-ontology.kif 5110-5117	If an object is an instance of collar, then there exists another object such that the object is a part of the other object and the other object is an instance of coat or the other object is an instance of shirt
(=>     (instance ?CA CivilAffairs)     (hasPurpose ?CA         (exists (?GUIDING ?OP_ACT)             (and                 (instance ?GUIDING Guiding)                 (patient ?GUIDING ?OP_ACT)                 (agent ?CA ?GUIDING)                 (or                     (instance ?OP_ACT CivilMilitaryOperation)                     (instance ?OP_ACT CivilAffairsActivity))))))	MilitaryProcesses.kif 2350-2360	If a physical is an instance of civil affairs, then the physical has the purpose there exist an entity and another entity_ACT such that the entity is an instance of guiding and the other entity_ACT is a patient of the entity and the entity is an agent of the physical and the other entity_ACT is an instance of civil military operation or the other entity_ACT is an instance of civil affairs activity
(=>     (instance ?CD ComputerDesktopImage)     (hasPurpose ?CD         (and             (refers ?CD ?F)             (or                 (instance ?F DigitalData)                 (instance ?F ComputerProgram)))))	ComputingBrands.kif 3167-3174	If a physical is an instance of computer desktop image, then the physical has the purpose the physical includes a reference to an entity and the entity is an instance of digital data or the entity is an instance of computer program
(=>     (instance ?COVER BodyCovering)     (exists (?BODY)         (and             (superficialPart ?COVER ?BODY)             (or                 (instance ?BODY Organism)                 (instance ?BODY BodyPart)))))	Merge.kif 15099-15106	If an object is an instance of body covering, then there exists another object such that the object is a superficial part of the other object and the other object is an instance of organism or the other object is an instance of body part
(=>     (instance ?DECLARE Declaring)     (exists (?PROP ?NORM)         (or             (confersNorm ?DECLARE ?PROP ?NORM)             (deprivesNorm ?DECLARE ?PROP ?NORM))))	Merge.kif 13268-13273	If an entity is an instance of declaring, then there exist a formula and an objective norm such that the entity confers norm the formula for the objective norm or the entity deprives norm the formula for the objective norm
(=>     (instance ?DESERT Desert)     (or         (groundSurfaceType ?DESERT Rock)         (groundSurfaceType ?DESERT Sand)))	Geography.kif 6627-6631	If a land area is an instance of desert, then rock is a ground surface type of the land area or sand is a ground surface type of the land area
(=>     (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)     (exists (?PROCESS)         (and             (subProcess ?PROCESS ?DISMANTLE)             (or                 (instance ?PROCESS Destruction)                 (instance ?PROCESS Removing)))))	WMD.kif 741-748	If a process is an instance of dismantling weapon of mass destruction, then there exists another process such that the other process is a subprocess of the process and the other process is an instance of destruction or the other process is an instance of removing
(=>     (instance ?DOC Certificate)     (exists (?PROP ?NORM)         (or             (confersNorm ?DOC ?PROP ?NORM)             (deprivesNorm ?DOC ?PROP ?NORM))))	Merge.kif 15661-15666	If an entity is an instance of certificate, then there exist a formula and an objective norm such that the entity confers norm the formula for the objective norm or the entity deprives norm the formula for the objective norm
(=>     (instance ?DOOR Door)     (exists (?ARTIFACT)         (and             (part ?DOOR ?ARTIFACT)             (or                 (instance ?ARTIFACT Building)                 (instance ?ARTIFACT Room)))))	Mid-level-ontology.kif 15298-15305	If an object is an instance of door, then there exists another object such that the object is a part of the other object and the other object is an instance of building or the other object is an instance of room
(=>     (instance ?DUSTSTORM DustStorm)     (or         (exists (?AREA1)             (and                 (instance ?AREA1 GeographicArea)                 (climateTypeInArea ?AREA1 AridClimateZone)                 (eventLocated ?DUSTSTORM ?AREA1)))         (exists (?AREA2)             (and                 (instance ?AREA2 GeographicArea)                 (climateTypeInArea ?AREA2 SemiaridClimateZone)                 (eventLocated ?DUSTSTORM ?AREA2)))))	Weather.kif 1257-1269	If a process is an instance of dust storm, then there exists a geographic area such that the geographic area is an instance of geographic area and arid climate zone is a climate type in area of the geographic area and the process is located at the geographic area or there exists another geographic area such that the other geographic area is an instance of geographic area and semiarid climate zone is a climate type in area of the other geographic area and the process is located at the other geographic area
(=>     (instance ?E Pandemic)     (exists (?H1 ?H2 ?N1 ?N2 ?C1 ?C2)         (and             (involvedInEvent ?E ?H1)             (involvedInEvent ?E ?H2)             (not                 (equal ?H1 ?H2))             (instance ?N1 Nation)             (instance ?N2 Nation)             (not                 (equal ?N1 ?N2))             (instance ?C1 Continent)             (instance ?C2 Continent)             (not                 (equal ?C1 ?C2))             (holdsDuring                 (WhenFn ?E)                 (or                     (and                         (located ?H1 ?C1)                         (located ?H2 ?C2))                     (and                         (located ?H1 ?N1)                         (located ?H2 ?N2)))))))	Medicine.kif 3537-3561	If a process is an instance of pandemic, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an involved in event of the process and the other entity is an involved in event of the process and the entity is not equal to the other entity and the third entity is an instance of nation and the fourth entity is an instance of nation and the third entity is not equal to the fourth entity and the fifth entity is an instance of continent and the sixth entity is an instance of continent and the fifth entity is not equal to the sixth entity and the entity is located at the fifth entity and the other entity is located at the sixth entity or the entity is located at the third entity and the other entity is located at the fourth entity holds during the time of existence of the process
(=>     (instance ?EXPERIMENT Experimenting)     (exists (?QUALIFYING_EVENTS)         (and             (instance ?QUALIFYING_EVENTS Collection)             (forall (?EVENT)                 (=>                     (and                         (instance ?EVENT Process)                         (or                             (experimentalControlProcess ?EXPERIMENT ?EVENT)                             (experimentalVariableProcess ?EXPERIMENT ?EVENT)))                     (member ?EVENT ?QUALIFYING_EVENTS)))             (equal                 (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))	UXExperimentalTerms.kif 4208-4223	If an experimenting is an instance of experimenting, then there exists an entity_EVENTS such that the entity_EVENTS is an instance of collection and for all a process if the process is an instance of process and the control in experiment the experimenting is the process or the process is a process in the experimenting, then the process is a member of the entity_EVENTS and events in the experimenting is equal to the entity_EVENTS
(=>     (instance ?Estate RealEstate)     (or         (instance ?Estate StationaryArtifact)         (instance ?Estate LandArea)         (exists (?Artifact ?Area)             (and                 (instance ?Artifact StationaryArtifact)                 (instance ?Area LandArea)                 (equal ?Estate                     (MereologicalSumFn ?Artifact ?Area))))))	FinancialOntology.kif 1359-1368	If an object is an instance of real estate, then the object is an instance of stationary artifact or the object is an instance of land area or there exist another object and a third object such that the other object is an instance of stationary artifact and the third object is an instance of land area and the object is equal to the union of the parts of the other object and the third object
(=>     (instance ?F PictureFrame)     (hasPurpose ?F         (exists (?P)             (and                 (meetsSpatially ?F ?P)                 (or                     (instance ?P PaintedPicture)                     (instance ?P Photograph))))))	Mid-level-ontology.kif 1545-1553	If a physical is an instance of picture frame, then the physical has the purpose there exists an entity such that the physical meets the entity and the entity is an instance of painted picture or the entity is an instance of photograph
(=>     (instance ?GUE GUIElement)     (or         (hasGUEState ?GUE GUE_CoveredState)         (hasGUEState ?GUE GUE_OffscreenState)         (hasGUEState ?GUE GUE_MinimizedState)         (hasGUEState ?GUE GUE_DisplayedState)))	ComputerInput.kif 2149-2155	If a GUI element is an instance of GUI element, then the GUI element has state GUE covered state or the GUI element has state GUE offscreen state or the GUI element has state GUE minimized state or the GUI element has state GUE displayed state
(=>     (instance ?GULF Gulf)     (exists (?SEA)         (and             (or                 (instance ?SEA Sea)                 (instance ?SEA Ocean))             (connected ?GULF ?SEA))))	Geography.kif 5129-5136	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 ?HINGE Hinge)     (hasPurpose ?HINGE         (exists (?OBJ1 ?OBJ2)             (and                 (connects ?HINGE ?OBJ1 ?OBJ2)                 (or                     (capability Rotating patient ?OBJ1)                     (capability Rotating patient ?OBJ2))))))	Mid-level-ontology.kif 15275-15283	If a physical is an instance of hinge, then the physical has the purpose there exist an entity and another entity such that the physical connects the entity and the other entity and the entity is capable of doing rotating as a patient or the other entity is capable of doing rotating as a patient
(=>     (instance ?I Interleukin)     (hasPurpose ?I         (exists (?D ?BV ?H)             (and                 (instance ?H Human)                 (or                     (instance ?BV Bacteria)                     (instance ?BV Virus))                 (instance ?D Destruction)                 (located ?D ?H)                 (instrument ?D ?I)                 (patient ?D ?BV)))))	Medicine.kif 3750-3762	If a physical is an instance of Interleukin, 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 human and the other entity is an instance of Bacteria or the other entity is an instance of virus and the entity is an instance of destruction and the entity is located at the third entity and the physical is an instrument for the entity and the other entity is a patient of the entity
(=>     (instance ?Inflation Inflation)     (or         (and             (benchmark ?Inflation ?CPI)             (instance ?CPI ConsumerPriceIndex))         (and             (benchmark ?Inflation ?PPI)             (instance ?PPI ProducerPriceIndex))))	FinancialOntology.kif 1656-1664	If an abstract is an instance of Inflation, then a performance measure is a benchmark of the abstract and the performance measure is an instance of consumer price index or another performance measure is a benchmark of the abstract and the other performance measure is an instance of producer price index
(=>     (instance ?L Lathe)     (hasPurpose ?L         (exists (?PROC ?OBJ)             (and                 (instrument ?PROC ?L)                 (patient ?PROC ?OBJ)                 (or                     (instance ?PROC ShapeChange)                     (instance ?PROC SurfaceChange))))))	Economy.kif 5990-5999	If a physical is an instance of lathe, then the physical has the purpose there exist an entity and another entity such that the physical is an instrument for the entity and the other entity is a patient of the entity and the entity is an instance of shape change or the entity is an instance of surface change
(=>     (instance ?LAND1 LandArea)     (exists (?LAND2)         (and             (part ?LAND1 ?LAND2)             (or                 (instance ?LAND2 Continent)                 (instance ?LAND2 Island)))))	Merge.kif 14181-14188	If an object is an instance of land area, then there exists another object such that the object is a part of the other object and the other object is an instance of continent or the other object is an instance of island
(=>     (instance ?M BeamRidingGMissile)     (hasPurpose ?M         (exists (?DAMAGE ?OBJ ?RADIATION ?INST)             (and                 (instance ?DAMAGE Damaging)                 (instrument ?DAMAGE ?M)                 (patient ?DAMAGE ?OBJ)                 (instance ?RADIATION Radiating)                 (instrument ?RADIATION ?INST)                 (or                     (instance ?INST Radar)                     (instance ?INST LightFixture))                 (patient ?RADIATION ?OBJ)))))	MilitaryDevices.kif 1108-1121	If a physical is an instance of beam ridingG missile, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of damaging and the physical is an instrument for the entity and the other entity is a patient of the entity and the third entity is an instance of radiating and the fourth entity is an instrument for the third entity and the fourth entity is an instance of radar or the fourth entity is an instance of light fixture and the other entity is a patient of the third entity
(=>     (instance ?MD MedicalDevice)     (hasPurpose ?MD         (exists (?TP ?DP)             (and                 (instance ?TP TherapeuticProcess)                 (instance ?DP DiagnosticProcess)                 (or                     (instrument ?TP ?MD)                     (instrument ?DP ?MD))))))	Medicine.kif 666-675	If a physical is an instance of medical device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of therapeutic process and the other entity is an instance of diagnostic process and the physical is an instrument for the entity or the physical is an instrument for 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