No TPTP formula. May not be expressible in strict first order.	Merge.kif 8959-8963	If a time interval is an instance of the week # a positive integer and another time interval is an instance of a kind of year, then the time interval takes place during the other time interval
No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	If a process is an instance of dry roasting and an entity is an instance of food and the entity is a patient of the process, then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of oil and the fifth entity is an instance of potable water and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1706-1716	If an object is an instance of meal and breakfast is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement there exists an entity such that the time of existence of the process takes place during the entity and the entity is an instance of breakfast time has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 1793-1803	If an object is an instance of meal and dinner is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement there exists an entity such that the time of existence of the process takes place during the entity and the entity is an instance of dinner time has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 1776-1786	If an object is an instance of meal and lunch is an attribute of the object and a process is an instance of eating and the object is a patient of the process, then the statement there exists an entity such that the time of existence of the process takes place during the entity and the entity is an instance of lunch time has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 419-426	If an agent is an instance of night club and the standard retail hours for the agent are a kind of time interval, then there exists another time interval such that the other time interval is an instance of a kind of time interval and the other time interval takes place during night time
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3629-3638	If members of a collection have registered for a web site during a time interval and a physical is a member of the collection, then there exists another time interval such that the other time interval is an instance of time interval and the other time interval takes place during the time interval and the physical is a registered user of the web site holds during the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30255-30266	If an entity is not an instance of agent and motionless is an attribute of the entity holds during a time interval, then there doesn't exist a process such that the process is an instance of motion and the entity is a patient of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 258-262	If a cognitive agent observes a holiday and a time interval is equal to the time of existence of the cognitive agent, then the holiday takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30772-30783	If an agent is a passenger in a transfer and an object is an instance of vehicle and the object is an instrument for the transfer, then there doesn't exist a process such that the time of existence of the process takes place during the time of existence of the transfer and the process is an instance of guiding and the agent is an agent of the process and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	If the amplitude a tremor is a real number an unit of measure(s) and the unit of measure is an instance of unit of length and an entity is a patient of the tremor, then there don't exist a physical, another physical,, , the tremor1,, , the tremor2 and the real number2 such that the tremor1 takes place during the time of existence of the tremor and the tremor2 takes place during the time of existence of the tremor and the entity is located at the physical holds during the tremor1 and the entity is located at the other physical holds during the tremor2 and the distance between the physical and the other physical is the real number2 the unit of measure(s) and the real number2 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 737-749	If the amplitude a tremor is a length measure and an entity is a patient of the tremor, then there exist a physical, another physical,, , the tremor1 and the tremor2 such that the tremor1 takes place during the time of existence of the tremor and the tremor2 takes place during the time of existence of the tremor and the entity is located at the physical holds during the tremor1 and the entity is located at the other physical holds during the tremor2 and the distance between the physical and the other physical is the length measure
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3217-3229	If a physical the attribute booting up and the physical is an instance of computer, then there exist an object, another object and a transfer such that the object is an instance of digital data and the other object is an instance of operating system and the transfer is an instance of data transfer and the time of existence of the transfer takes place during the time of existence of the physical and the transfer ends up at the physical and the object is a part of the other object and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 467-492	If the price of a kind of physical set by a cognitive agent according to a pricing scheme is a function quantity and the function quantity is equal to the per of a currency measure and the measure of a real number is an unit of measure and the unit of measure is an instance of unit of duration and an entity is an immediate instance of a kind of physical and a process is an instance of renting and the entity is a patient of the process and an agent is an agent of the process and the process exists during the real numberINT, then for all another time interval if there exists another real number such that the real numberINT takes place during the other time interval and the other time interval is an instance of time interval and duration of the other time interval is the other real number the unit of measure(s) and the other real number is less than or equal to the real number, then there exists a financial transaction such that the financial transaction is an instance of payment and the financial transaction ends up at the cognitive agent and the agent is an agent of the financial transaction and the currency measure is a transaction amount of the financial transaction
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 342-357	If the resting breathing rate of a mammal is an integer and an object is an instance of lung and the object is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal breathes at a rate of the integer breaths per the time interval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	If the resting heart rate of a mammal is an integer and the mammalEART is an instance of heart and the mammalEART is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal beats at a rate of the integer beats per the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30956-30971	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of collection and a kind of object is a member type of the other entity and the quantity is a member count of the other entity and the cognitive agent possesses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30923-30938	If there is a shortage of an integer of a kind of object for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and a kind of object is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30973-30987	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of physical quantity, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of a kind of object and the measure of the other entity is the quantity and the cognitive agent possesses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30940-30954	If there is a shortage of a physical quantity of a kind of object for an agent at a currency measure during a time interval and the physical quantity is an instance of physical quantity, then there don't exist a transfer and another object such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the other object and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the other object is an instance of a kind of object and the measure of the other object is the physical quantity and the agent possesses the other object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2709-2726	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure, then there don't exist a process, an agent,, , an object and another real number such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at the region and the distance between the agent and the object is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10386-10398	If a lung breathes at a rate of an integer breaths per a time interval, then there exist a collection and a process such that the collection is an instance of collection and Breath is a member type of the collection and the integer is a member count of the collection and if the process is a member of the collection, then the lung is a patient of the process and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Music.kif 1051-1055	If a contest is equal to the the contestONTEST that occurred at a time interval, then the contest is an instance of the contestONTEST and the time of existence of the contest takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2974-2986	If the value of everything purchased by an agent for an organization during a time interval is a currency measure, then value of a physical is the currency measure and the physical is an instance of the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2998-3010	If GMV an agent, an organization, a currency measure and a time interval, then value of a physical is the currency measure and the physical is an instance of the class described by a symbolic string
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