No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17584-17599	If a process is an instance of flooding and the process is located at an object, then there exist a real number, another real number and an entity such that the entity is an instance of unit of length and the real number the entity(s) is a water depth of the object holds during the beginning of the time of existence of the process and the other real number the entity(s) is a water depth of the object holds during the end of the time of existence of the process and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4451-4461	If a process is an instance of forgetting and an agent experiences the process, then there exists an entity such that the agent doesn't know the entity holds during immediately after the time of existence of the process and the agent knows the entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	If a process is an instance of four stroke compression and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then pressurized is an attribute of the hole holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16379-16388	If a process is an instance of falling asleep and an agent experiences the process, then there exist a time interval and another time interval such that the time interval starts the time of existence of the process and the other time interval finishes the time of existence of the process and awake is an attribute of the agent holds during the time interval and asleep is an attribute of the agent holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20506-20513	If a process is an instance of farming and an agent is an agent of the process, then there exists an entity such that the entity is an instance of farm and the agent is located at the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10762-10770	If a process is an instance of terminating employment and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent employs the entity holds during the beginning of the time of existence of the process and the agent doesn't employ the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 643-661	If a process is an instance of flashing light and the process originates at an object, then there exist another process, a time interval and a third process such that the other process is an instance of radiating light and the time interval is an instance of time interval and the third process is an instance of radiating light and the time of existence of the other process meets another time interval and the other time interval meets the time of existence of the third process and there doesn't exist the other time interval such that the other time interval is an instance of radiating light and the other time interval originates at the object and the time of existence of the other time interval takes place during the time interval and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 944-955	If a process is an instance of flying and an entity is a patient of the process and the entity is an instance of air launch missile, then there exists another entity such that the other entity is an instance of atmospheric region and the entity is located at the other entity holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1190-1205	If a process is an instance of foaming milk and an entity is an instance of processed milk and the entity is a patient of the process, then there exist another process, a third process and another entity such that the other process is an instance of heating and the entity is a patient of the other process and the third process is an instance of aerating and the entity is a patient of the third process and the other entity is a result of the third process and the other entity is an instance of bubble and the time of existence of the third process takes place during the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14030	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18248-18254	If a process is an instance of frightening and an agent experiences the process, then anxiety is not an attribute of the agent holds during the beginning of the time of existence of the process and anxiety is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13031-13035	If a process is an instance of frowning and an agent is an agent of the process, then unhappiness is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16464-16476	If a process is an instance of gaining consciousness and an agent experiences the process, then unconscious is an attribute of the agent holds during the beginning of the time of existence of the process and awake is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17050-17062	If an object is an instance of game goal and the object is an instrument for a process and the process is an instance of game and another process is a subprocess of the process and the other process is an instance of score, then there exist an entity and a time position such that the entity is an instance of game piece and the entity is a patient of the other process and the time position is a part of the time of existence of the other process and the entity is located at the object holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11531-11538	If a process is an instance of grabbing and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't grasp the entity holds during the beginning of the time of existence of the process and the agent grasps the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25113	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2439-2453	If a process is an instance of hurricane and an entity is an instance of SSHWS5 and the process is located at an object and a cognitive agent believes the process the attribute the entity, then there exists a real number such that the real number is greater than 157.0 and the cognitive agent believes the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2361-2380	If a process is an instance of hurricane and a speed scale attribute is an instance of Saffir Simpson Hurrican wind scale and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the object
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 65-84	If an agent is an instance of man and mausaharati is an attribute of the agent and a process is an instance of drumming and the agent is an agent of the process and the processAY is an instance of day and another time interval is an instance of sunrise and the other time interval takes place during the processAY and the time of existence of the process happens earlier than the other time interval, then the process has the purpose there exist an entity, the other time intervalUHUR and a third entity such that the third entity is an instance of waking up and the entity experiences the third entity and the other time intervalUHUR is an instance of suhur and the entity is an agent of the other time intervalUHUR and the time of existence of the third entity happens earlier than the time of existence of the other time intervalUHUR and the time of existence of the third entity takes place during the processAY and the time of existence of the other time intervalUHUR takes place during the processAY
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11367-11384	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11914-11931	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2586-2594	If a process is an instance of atmospheric hazing and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10942-10955	If a process is an instance of heating and an entity is a patient of the process, then there exist another entity, a real number and another real number such that the other entity is an instance of temperature measure and the entity the other entity(s) is equal to the real number holds during the beginning of the time of existence of the process and the entity the other entity(s) is equal to the other real number holds during the end of the time of existence of the process and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10746-10754	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent doesn't employ the entity holds during the beginning of the time of existence of the process and the agent employs the entity holds during the end of the time of existence of the process
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