(=>     (and         (instance ?F FungalDisease)         (attribute ?H ?F))     (exists (?FUN)         (and             (part ?FUN ?H)             (instance ?FUN Fungus))))	Mid-level-ontology.kif 5879-5886	If an attribute is an instance of fungal disease and the attribute is an attribute of an object, then there exists the attributeUN such that the attributeUN is a part of the object and the attributeUN is an instance of fungus
(=>     (and         (instance ?F ParasiticDisease)         (attribute ?H ?F))     (exists (?PAR)         (and             (part ?PAR ?H)             (instance ?PAR Parasite))))	Mid-level-ontology.kif 5865-5872	If an attribute is an instance of parasitic disease and the attribute is an attribute of an object, then there exists another object such that the other object is a part of the object and the other object is an instance of parasite
(=>     (and         (instance ?FILTER AbsoluteFilter)         (instance ?REMOVE Removing)         (origin ?REMOVE ?GAS)         (instance ?GAS GasMixture)         (patient ?REMOVE ?PARTICLE)         (attribute ?PARTICLE Solid)         (instrument ?REMOVE ?FILTER))     (not         (part ?PARTICLE ?GAS)))	MilitaryDevices.kif 1379-1389	If an object is an instance of absolute filter and a process is an instance of removing and the process originates at another object and the other object is an instance of gas mixture and a third object is a patient of the process and solid is an attribute of the third object and the object is an instrument for the process, then the third object is not a part of the other object
(=>     (and         (instance ?FP FuelPump)         (instance ?A Automobile)         (part ?FP ?A)         (instance ?T Transportation)         (instance ?F Fuel)         (patient ?T ?F)         (instrument ?F ?FP))     (hasPurpose ?FP         (exists (?GT ?EC)             (and                 (instance ?GT GasTank)                 (part ?GT ?A)                 (instance ?EC EngineCylinder)                 (part ?EC ?A)                 (origin ?T ?GT)                 (destination ?T ?EC)))))	Cars.kif 1051-1068	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a process is an instance of transportation and another process is an instance of fuel and the other process is a patient of the process and the object is an instrument for the other process, then the object has the purpose there exist an entity and another entity such that the entity is an instance of gas tank and the entity is a part of the other object and the other entity is an instance of engine cylinder and the other entity is a part of the other object and the process originates at the entity and the process ends up at the other entity
(=>     (and         (instance ?FREEZE Freezing)         (patient ?FREEZE ?OBJ))     (exists (?PART)         (and             (part ?PART ?OBJ)             (holdsDuring                 (BeginFn                     (WhenFn ?FREEZE))                 (attribute ?PART Liquid))             (holdsDuring                 (EndFn                     (WhenFn ?FREEZE))                 (attribute ?PART Solid)))))	Merge.kif 14000-14008	If a process is an instance of freezing and an object is a patient of the process, then there exists another object such that the other object is a part of the object and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and solid is an attribute of the other object holds during the end of the time of existence of the process
(=>     (and         (instance ?G Gene)         (located ?G ?C)         (instance ?C Cell))     (exists (?B ?N ?R)         (and             (instance ?B BiologicalProcess)             (eventLocated ?B ?C)             (origin ?B ?G)             (result ?B ?N)             (instance ?N Nucleotide)             (part ?N ?R)             (instance ?R RNAMolecule)             (located ?R ?C))))	VirusProteinAndCellPart.kif 655-669	If an object is an instance of gene and the object is located at another object and the other object is an instance of cell, then there exist a process, a third object and a fourth object such that the process is an instance of biological process and the process is located at the other object and the process originates at the object and the third object is a result of the process and the third object is an instance of Nucleotide and the third object is a part of the fourth object and the fourth object is an instance of RNA molecule and the fourth object is located at the other object
(=>     (and         (instance ?G Grinding)         (patient ?G ?O)         (instance ?O CorpuscularObject))     (holdsDuring         (EndFn             (WhenFn ?G))         (exists (?C)             (and                 (result ?G ?C)                 (instance ?C Collection)                 (forall (?M)                     (=>                         (member ?M ?C)                         (part ?M ?O)))))))	Food.kif 1012-1026	If a process is an instance of grinding and an entity is a patient of the process and the entity is an instance of corpuscular object, then there exists another entity such that the other entity is a result of the process and the other entity is an instance of collection and for all a third entity if the third entity is a member of the other entity, then the third entity is a part of the entity holds during the end of the time of existence of the process
(=>     (and         (instance ?GERD GERefluxDisease)         (experiencer ?GERD ?H))     (exists (?T ?S ?E)         (and             (instance ?T Transfer)             (origin ?T ?S)             (instance ?S Stomach)             (instance ?E Esophagus)             (destination ?T ?E)             (part ?S ?H)             (part ?E ?H)             (subProcess ?T ?GERD))))	Medicine.kif 1916-1929	If a process is an instance of GERD and an agent experiences the process, then there exist another process, an object and another object such that the other process is an instance of transfer and the other process originates at the object and the object is an instance of stomach and the other object is an instance of esophagus and the other process ends up at the other object and the object is a part of the agent and the other object is a part of the agent and the other process is a subprocess of the process
(=>     (and         (instance ?H Primate)         (instance ?D DiseaseOrSyndrome)         (not             (attribute ?H ?D)))     (exists (?L1 ?L2)         (and             (instance ?L1 Foot)             (instance ?L2 Foot)             (not                 (equal ?L1 ?L2))             (part ?L1 ?H)             (part ?L2 ?H))))	Mid-level-ontology.kif 12709-12722	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of foot and the third object is an instance of foot and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=>     (and         (instance ?H Primate)         (instance ?D DiseaseOrSyndrome)         (not             (attribute ?H ?D)))     (exists (?L1 ?L2)         (and             (instance ?L1 Leg)             (instance ?L2 Leg)             (not                 (equal ?L1 ?L2))             (part ?L1 ?H)             (part ?L2 ?H))))	Mid-level-ontology.kif 12682-12695	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of leg and the third object is an instance of leg and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=>     (and         (instance ?H Primate)         (instance ?D DiseaseOrSyndrome)         (not             (attribute ?H ?D)))     (exists (?L1 ?L2)         (and             (instance ?L1 Lung)             (instance ?L2 Lung)             (not                 (equal ?L1 ?L2))             (part ?L1 ?H)             (part ?L2 ?H))))	Mid-level-ontology.kif 11198-11211	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of lung and the third object is an instance of lung and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=>     (and         (instance ?HA HeartAttack)         (instance ?H Heart)         (located ?HA ?H))     (exists (?M)         (and             (instance ?M Muscle)             (part ?M ?H)             (not                 (exists (?BF ?B)                     (and                         (instance ?BF LiquidMotion)                         (objectTransferred ?BF ?B)                         (instance ?B Blood)                         (during ?BF                             (WhenFn ?HA))                         (destination ?BF ?M)))))))	Mid-level-ontology.kif 11368-11385	If a physical is an instance of myocardial infarction and an object is an instance of heart and the physical is located at the object, then there exists another object such that the other object is an instance of muscle and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
(=>     (and         (instance ?HA Stroke)         (instance ?H Brain)         (located ?HA ?H))     (exists (?M)         (and             (instance ?M NerveCell)             (part ?M ?H)             (not                 (exists (?BF ?B)                     (and                         (instance ?BF LiquidMotion)                         (objectTransferred ?BF ?B)                         (instance ?B Blood)                         (during ?BF                             (WhenFn ?HA))                         (destination ?BF ?M)))))))	Mid-level-ontology.kif 11915-11932	If a physical is an instance of stroke and an object is an instance of brain and the physical is located at the object, then there exists another object such that the other object is an instance of nerve cell and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
(=>     (and         (instance ?HR Reel)         (instance ?K Keeping)         (instance ?H CorpuscularObject)         (attribute ?H LongAndThin)         (attribute ?H Pliable)         (instrument ?K ?HR)         (patient ?K ?H))     (exists (?P)         (and             (part ?P ?H)             (meetsSpatially ?P ?HR))))	Cars.kif 4287-4299	If an object is an instance of reel and a process is an instance of keeping and another object is an instance of corpuscular object and long and thin is an attribute of the other object and pliable is an attribute of the other object and the object is an instrument for the process and the other object is a patient of the process, then there exists a third object such that the third object is a part of the other object and the third object meets the object
(=>     (and         (instance ?I Intubation)         (instance ?T Tube)         (objectTransferred ?I ?T)         (experiencer ?I ?H))     (exists (?TH)         (and             (instance ?TH Trachea)             (part ?TH ?H)             (destination ?I ?TH))))	Medicine.kif 4135-4145	If a transfer is an instance of Intubation and an object is an instance of tube and the object transferred in the transfer is the object and an agent experiences the transfer, then there exists the objectH such that the objectH is an instance of trachea and the objectH is a part of the agent and the transfer ends up at the objectH
(=>     (and         (instance ?II IntraosseousInfusion)         (patient ?II ?H))     (exists (?B)         (and             (instance ?B BoneMarrow)             (destination ?II ?B)             (part ?B ?H))))	Medicine.kif 1179-1187	If a process is an instance of intraosseous infusion and an object is a patient of the process, then there exists another object such that the other object is an instance of bone marrow and the process ends up at the other object and the other object is a part of the object
(=>     (and         (instance ?KICK Kicking)         (agent ?KICK ?ANIMAL))     (exists (?FOOT)         (and             (instance ?FOOT Foot)             (part ?FOOT ?ANIMAL)             (instrument ?KICK ?FOOT))))	Mid-level-ontology.kif 6637-6645	If a process is an instance of kicking and an agent is an agent of the process, then there exists an object such that the object is an instance of foot and the object is a part of the agent and the object is an instrument for the process
(=>     (and         (instance ?L LayingEggs)         (experiencer ?L ?A))     (exists (?E)         (and             (instance ?E Egg)             (patient ?L ?E)             (holdsDuring                 (BeginFn                     (WhenFn ?L))                 (part ?E ?A))             (holdsDuring                 (EndFn                     (WhenFn ?L))                 (not                     (part ?E ?A))))))	Mid-level-ontology.kif 24116-24129	If a process is an instance of laying eggs and an agent experiences the process, then there exists an entity such that the entity is an instance of egg and the entity is a patient of the process and the entity is a part of the agent holds during the beginning of the time of existence of the process and the entity is not a part of the agent holds during the end of the time of existence of the process
(=>     (and         (instance ?L LeafSpring)         (part ?L ?RV)         (instance ?RV RoadVehicle))     (modalAttribute         (exists (?L2)             (and                 (instance ?L2 LeafSpring)                 (part ?L2 ?RV)                 (not                     (equal ?L ?L2))                 (meetsSpatially ?L ?L2))) Likely))	Cars.kif 902-915	If an object is an instance of leaf spring and the object is a part of another object and the other object is an instance of road vehicle, then the statement there exists the object2 such that the object2 is an instance of leaf spring and the object2 is a part of the other object and the object is not equal to the object2 and the object meets the object2 has the modal force of likely
(=>     (and         (instance ?LA LeftAtrium)         (part ?LA ?H))     (exists (?H ?HEART)         (and             (equal ?HEART                 (HoleHostFn ?LA))             (part ?HEART ?H)             (instance ?HEART Heart))))	Medicine.kif 275-283	If a hole is an instance of left atrium and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
(=>     (and         (instance ?LA LeftVentricle)         (part ?LA ?H))     (exists (?H ?HEART)         (and             (equal ?HEART                 (HoleHostFn ?LA))             (part ?HEART ?H)             (instance ?HEART Heart))))	Medicine.kif 291-299	If a hole is an instance of left ventricle and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
(=>     (and         (instance ?LA RightAtrium)         (part ?LA ?H))     (exists (?H ?HEART)         (and             (equal ?HEART                 (HoleHostFn ?LA))             (part ?HEART ?H)             (instance ?HEART Heart))))	Medicine.kif 307-315	If a hole is an instance of right atrium and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
(=>     (and         (instance ?LA RightVentricle)         (part ?LA ?H))     (exists (?H ?HEART)         (and             (equal ?HEART                 (HoleHostFn ?LA))             (part ?HEART ?H)             (instance ?HEART Heart))))	Medicine.kif 323-331	If a hole is an instance of right ventricle and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
(=>     (and         (instance ?M OnePercentMilk)         (measure ?M             (MeasureFn ?N ?U))         (instance ?U UnitOfVolume))     (exists (?BF ?N2)         (and             (instance ?BF ButterFat)             (part ?BF ?M)             (not                 (exists (?F2)                     (and                         (instance ?F2 ButterFat)                         (not                             (equal ?BF ?F2))                         (part ?F2 ?M))))             (measure ?BF                 (MeasureFn ?N2 ?U))             (equal ?N2                 (MultiplicationFn 0.01 ?N)))))	Food.kif 2969-2986	If an object is an instance of one percent milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is equal to 0.01 and the real number
(=>     (and         (instance ?M SemiSkimmedMilk)         (measure ?M             (MeasureFn ?N ?U))         (instance ?U UnitOfVolume))     (exists (?BF ?N2)         (and             (instance ?BF ButterFat)             (part ?BF ?M)             (not                 (exists (?F2)                     (and                         (instance ?F2 ButterFat)                         (not                             (equal ?BF ?F2))                         (part ?F2 ?M))))             (measure ?BF                 (MeasureFn ?N2 ?U))             (greaterThanOrEqualTo ?N2                 (MultiplicationFn 0.015 ?N))             (lessThanOrEqualTo ?N2                 (MultiplicationFn 0.02 ?N)))))	Food.kif 2993-3011	If an object is an instance of semi skimmed milk and the measure of the object is a real number an unit of measure(s) and the unit of measure is an instance of unit of volume, then there exist another object and the real number2 such that the other object is an instance of butter fat and the other object is a part of the object and there doesn't exist a third object such that the third object is an instance of butter fat and the other object is not equal to the third object and the third object is a part of the object and the measure of the other object is the real number2 the unit of measure(s) and the real number2 is greater than or equal to 0.015 and the real number and the real number2 is less than or equal to 0.02 and the real number
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