consequent

(<=>     (instance ?CS ConjugatedSubstance)     (exists (?C1 ?C2 ?P)         (and             (instance ?C1 CompoundSubstance)             (instance ?C2 CompoundSubstance)             (not                 (equal ?C1 ?C2))             (instance ?P ChemicalSynthesis)             (resource ?P ?C1)             (resource ?P ?C2)             (result ?P ?CS))))	Mid-level-ontology.kif 7410-7420	An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and equal the object and the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
(=>     (and         (attribute ?G ToxicandInfectiousSubstance)         (or             (instance ?G Substance)             (instance ?G Microorganism)))     (exists (?O ?P ?I ?CLASS)         (and             (or                 (instance ?O Human)                 (instance ?O Animal))             (orientation ?G ?O Near)             (or                 (instance ?P Inhaling)                 (instance ?P Ingesting)                 (instance ?P Touching))             (agent ?P ?O)             (patient ?P ?G)             (causes ?P ?I)             (patient ?I ?O)             (instance ?I ?CLASS)             (capability ?CLASS resource ?G)             (or                 (subclass ?CLASS Injuring)                 (subclass ?CLASS Death)))))	Transportation.kif 4250-4274	If toxic and infectious substance is an attribute of an object and the object is an instance of substance or the object is an instance of microorganism, then there exist an agent, a process,, , another process and a third kind of process such that the agent is an instance of human or the agent is an instance of animal and the object is near to the agent and the process is an instance of inhaling or the process is an instance of ingesting or the process is an instance of touching and the agent is an agent of the process and the object is a patient of the process and the process causes the other process and the agent is a patient of the other process and the other process is an instance of a third kind of process and the object is capable of doing the third kind of process as a resource and the third kind of process is a subclass of injuring or the third kind of process is a subclass of death
(=>     (and         (customer ?CUST ?AGENT)         (propertyAmenity ?AGENT ?PHYS)         (subclass ?PHYS Object)         (instance ?X ?PHYS))     (confersRight         (exists (?PROC)             (and                 (instance ?PROC Process)                 (or                     (resource ?PROC ?X)                     (instrument ?PROC ?X)                     (patient ?PROC ?X))                 (or                     (agent ?PROC ?CUST)                     (experiencer ?PROC ?CUST)))) ?AGENT ?CUST))	Hotel.kif 504-520	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the agent allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
(=>     (and         (functionRoomAmenity ?FR ?PHY)         (instance ?RM ?FR)         (element ?RM             (PropertyFn ?HOTEL))         (instance ?RENT Renting)         (patient ?RENT ?RM)         (agent ?RENT ?HOTEL)         (destination ?RENT ?CUST)         (subclass ?PHY Object))     (modalAttribute         (exists (?O ?P)             (and                 (instance ?O ?PHY)                 (instance ?P Process)                 (or                     (resource ?P ?O)                     (instrument ?P ?O)                     (patient ?P ?O))                 (or                     (agent ?P ?CUST)                     (experiencer ?P ?CUST)))) Possibility))	Hotel.kif 815-836	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
(=>     (and         (guest ?CUST ?HOTEL)         (stays ?CUST ?R)         (element ?R             (PropertyFn ?HOTEL))         (instance ?R ?ROOM)         (roomAmenity ?ROOM ?OBJ)         (subclass ?OBJ Object))     (exists (?O)         (and             (instance ?O ?OBJ)             (located ?O ?R)             (confersRight                 (exists (?PROC)                     (and                         (agent ?PROC ?CUST)                         (or                             (instrument ?PROC ?O)                             (patient ?PROC ?O)                             (resource ?PROC ?O)))) ?HOTEL ?CUST))))	Hotel.kif 294-313	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
(=>     (and         (instance ?C MuscularContraction)         (moves ?C ?M)         (or             (instance ?M VoluntaryMuscle)             (instance ?M HeartMuscle)))     (exists (?T)         (and             (instance ?T Troponin)             (resource ?C ?T))))	Medicine.kif 3946-3956	If a motion is an instance of muscular contraction and an object moves during the motion and the object is an instance of voluntary muscle or the object is an instance of heart muscle, then there exists another object such that the other object is an instance of troponin and the other object is a resource for the motion
(=>     (and         (instance ?COLOR SecondaryColor)         (attribute ?OBJ ?COLOR))     (exists (?PROCESS ?RESOURCE1 ?RESOURCE2 ?PRIMARY1 ?PRIMARY2)         (and             (result ?PROCESS ?OBJ)             (resource ?PROCESS ?RESOURCE1)             (resource ?PROCESS ?RESOURCE2)             (attribute ?RESOURCE1 ?PRIMARY1)             (attribute ?RESOURCE2 ?PRIMARY2)             (instance ?PRIMARY1 PrimaryColor)             (instance ?PRIMARY2 PrimaryColor)             (not                 (equal ?PRIMARY1 ?PRIMARY2)))))	Mid-level-ontology.kif 21107-21120	If an attribute is an instance of secondary color and the attribute is an attribute of an object, then there exist a process, another object,, , a third object,, , another attribute and a third attribute such that the object is a result of the process and the other object is a resource for the process and the third object is a resource for the process and the other attribute is an attribute of the other object and the third attribute is an attribute of the third object and the other attribute is an instance of primary color and the third attribute is an instance of primary color and equal the other attribute and the third attribute
(=>     (and         (instance ?DEV ElectricDevice)         (instance ?EV Process)         (instrument ?EV ?DEV))     (exists (?R)         (and             (instance ?R Electricity)             (resource ?EV ?R))))	Mid-level-ontology.kif 3009-3017	If an object is an instance of electric device and a process is an instance of process and the object is an instrument for the process, then there exists another object such that the other object is an instance of electricity and the other object is a resource for the process
(=>     (and         (instance ?O Organism)         (instance ?E Egg)         (attribute ?O Embryonic)         (part ?O ?E))     (exists (?Y)         (and             (instance ?Y EggYolk)             (hasPurpose ?Y                 (exists (?I)                     (and                         (instance ?I Ingesting)                         (agent ?I ?O)                         (resource ?I ?Y)))))))	Food.kif 2555-2569	If an object is an instance of organism and another object is an instance of egg and embryonic is an attribute of the object and the object is a part of the other object, then there exists a physical such that the physical is an instance of egg yolk and the physical has the purpose there exists an entity such that the entity is an instance of ingesting and the object is an agent of the entity and the physical is a resource for the entity
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG BuildingMaterialAndGardenEquipmentAndSuppliesDealers))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING)                 (and                     (instance ?EV Selling)                     (instance ?THING Object)                     (or                         (capability Constructing resource ?THING)                         (capability Agriculture resource ?THING))                     (patient ?EV ?THING))))))	naics.kif 7242-7257	If a collection is an instance of organization and building material and garden equipment and supplies dealers is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exists an object such that the agent is an instance of selling and the object is an instance of object and the object is capable of doing constructing as a resource or the object is capable of doing agriculture as a resource and the object is a patient of the agent
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG ComputerAndElectronicProductManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (or                         (instance ?THING Computer)                         (and                             (instance ?THING Machine)                             (exists (?EV3 ?ELEC)                                 (and                                     (patient ?EV3 ?THING)                                     (resource ?EV3 ?ELEC)                                     (instance ?ELEC Electricity)))))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 5126-5150	If a collection is an instance of organization and computer and electronic product manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of computer or the entity is an instance of machine and there exist the agent3 and an object such that the entity is a patient of the agent3 and the object is a resource for the agent3 and the object is an instance of electricity and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=>     (and         (instance ?ORG Organization)         (attribute ?ORG ElectricalEquipmentApplianceAndComponentManufacturing))     (exists (?EV ?MEM)         (and             (member ?MEM ?ORG)             (agent ?MEM ?EV)             (exists (?THING ?MEM2 ?EV2)                 (and                     (instance ?EV Manufacture)                     (and                         (instance ?THING Machine)                         (exists (?EV3 ?ELEC)                             (and                                 (patient ?EV3 ?THING)                                 (resource ?EV3 ?ELEC)                                 (instance ?ELEC Electricity))))                     (patient ?EV ?THING)                     (member ?MEM2 ?ORG)                     (instance ?EV2 Selling)                     (agent ?EV2 ?MEM2)                     (patient ?EV2 ?THING))))))	naics.kif 5421-5443	If a collection is an instance of organization and electrical equipment appliance and component manufacturing is an attribute of the collection, then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of machine and there exist the agent3 and an object such that the entity is a patient of the agent3 and the object is a resource for the agent3 and the object is an instance of electricity and the entity is a patient of the agent and the process2 is a member of the collection and the agent2 is an instance of selling and the process2 is an agent of the agent2 and the entity is a patient of the agent2
(=>     (and         (instance ?T Transportation)         (transported ?T ?C)         (attribute ?C ?H)         (instance ?H HazardousMaterialTransportAttribute))     (holdsDuring ?T         (modalAttribute             (exists (?D)                 (and                     (instance ?D Damaging)                     (resource ?D ?C))) Possibility)))	Transportation.kif 4162-4173	If a transportation is an instance of transportation and an object is transported during the transportation and an attribute is an attribute of the object and the attribute is an instance of hazardous material transport attribute, then the statement there exists an entity such that the entity is an instance of damaging and the object is a resource for the entity has the modal force of possibility holds during the transportation
(=>     (attribute ?G HazardousGases)     (and         (instance ?G Substance)         (attribute ?G Gas)         (capability Combustion resource ?G)         (capability Damaging resource ?G)         (capability Corrosion resource ?G)))	Transportation.kif 4189-4196	If hazardous gases is an attribute of an object, then the object is an instance of substance and gas is an attribute of the object and the object is capable of doing burning as a resource and the object is capable of doing damaging as a resource and the object is capable of doing corrosion as a resource
(=>     (attribute ?O Translucent)     (modalAttribute         (exists (?EMIT ?S ?OBJ)             (and                 (instance ?EMIT RadiatingLight)                 (resource ?EMIT ?S)                 (destination ?EMIT ?OBJ)                 (between ?S ?O ?OBJ)                 (holdsDuring                     (WhenFn ?EMIT)                     (attribute ?OBJ Illuminated)))) Possibility))	Mid-level-ontology.kif 16603-16615	If translucent is an attribute of an object, then the statement there exist an entity, another entity and the objectBJ such that the entity is an instance of radiating light and the other entity is a resource for the entity and the entity ends up at the objectBJ and the object is between the other entity and the objectBJ and illuminated is an attribute of the objectBJ holds during the time of existence of the entity has the modal force of possibility
(=>     (attribute ?X IndustrialRawMaterial)     (hasPurpose ?X         (exists (?M)             (and                 (instance ?M Manufacture)                 (resource ?M ?X)))))	Economy.kif 6151-6157	If industrial raw material is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of manufacture and the object is a resource for the entity
(=>     (exploits ?OBJ ?AGENT)     (exists (?PROCESS)         (and             (agent ?PROCESS ?AGENT)             (resource ?PROCESS ?OBJ))))	Merge.kif 3978-3983	If an object exploits an agent, then there exists a process such that the agent is an agent of the process and the object is a resource for the process
(=>     (instance ?A Anesthesia)     (hasPurpose ?A         (exists (?P)             (and                 (instance ?P Anesthetizing)                 (resource ?P ?A)))))	Medicine.kif 1012-1018	If a physical is an instance of anesthesia, then the physical has the purpose there exists an entity such that the entity is an instance of anesthetizing and the physical is a resource for the entity
(=>     (instance ?A Anesthetizing)     (exists (?DRUG)         (and             (instance ?DRUG Anesthesia)             (resource ?DRUB ?A))))	Medicine.kif 1005-1010	If an object is an instance of anesthetizing, then there exists an entity such that the entity is an instance of anesthesia and the object is a resource for a process
(=>     (instance ?AERATOR Aerator)     (hasPurpose ?AERATOR         (exists (?COMBINE ?AIR)             (and                 (instance ?COMBINE Combining)                 (resource ?COMBINE ?AIR)                 (instance ?AIR Air)                 (instrument ?COMBINE ?AERATOR)))))	Mid-level-ontology.kif 2349-2357	If a physical is an instance of aerator, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of combining and the other entity is a resource for the entity and the other entity is an instance of air and the physical is an instrument for the entity
(=>     (instance ?B BrakePad)     (hasPurpose ?B         (exists (?F ?BR)             (and                 (instance ?F Friction)                 (resource ?F ?B)                 (instance ?BR BrakeRotor)                 (patient ?F ?BR)))))	Cars.kif 607-615	If a physical is an instance of brake pad, then the physical has the purpose there exist an entity and the physicalR such that the entity is an instance of friction and the physical is a resource for the entity and the physicalR is an instance of brake rotor and the physicalR is a patient of the entity
(=>     (instance ?B BrakeShoe)     (hasPurpose ?B         (exists (?F ?BD)             (and                 (instance ?F Friction)                 (resource ?F ?B)                 (instance ?BD BrakeDrum)                 (patient ?F ?BD)))))	Cars.kif 629-637	If a physical is an instance of brake shoe, then the physical has the purpose there exist an entity and the physicalD such that the entity is an instance of friction and the physical is a resource for the entity and the physicalD is an instance of brake drum and the physicalD is a patient of the entity
(=>     (instance ?B Brandy)     (exists (?D ?W)         (and             (instance ?D Distilling)             (instance ?W Wine)             (resource ?D ?W)             (result ?D ?B))))	Food.kif 3647-3654	If an entity is an instance of brandy, then there exist a process and an object such that the process is an instance of distilling and the object is an instance of wine and the object is a resource for the process and the entity is a result of the process
(=>     (instance ?B BreadOrBiscuit)     (exists (?D ?BAKE)         (and             (instance ?D Dough)             (instance ?BAKE Baking)             (resource ?BAKE ?D)             (result ?BAKE ?B))))	Food.kif 1572-1579	If an entity is an instance of bread or biscuit, then there exist an object and the entityAKE such that the object is an instance of dough and the entityAKE is an instance of baking and the object is a resource for the entityAKE and the entity is a result of the entityAKE
(=>     (instance ?B Brick)     (hasPurpose ?B         (exists (?C)             (and                 (instance ?C Constructing)                 (resource ?C ?B)))))	Mid-level-ontology.kif 5213-5219	If a physical is an instance of brick, then the physical has the purpose there exists an entity such that the entity is an instance of constructing and the physical is a resource for the entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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