No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13535-13544	If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13546-13557	If the maximum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13485-13496	If the maximum expected radius of a kind of object is a real number an unit of measure(s) and another object is an instance of a kind of object and sphere is an attribute of the other object, then the statement there exists the real numberADIUS such that the radius of the other object is the real numberADIUS the unit of measure(s) and the real numberADIUS is greater than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13565-13574	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13576-13585	If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number and .5 has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13504-13513	If the minimum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure, then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13515-13526	If the minimum expected value of a kind of object is a real number an unit of measure(s) and a class is a subclass of non composite unit of measure and the unit of measure is an instance of the class, then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the class and the real numberUANTITY is less than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13466-13476	If the minimum expected radius of a kind of object is a real number an unit of measure(s) and another object is an instance of a kind of object and sphere is an attribute of the other object, then the statement there exists the real numberADIUS such that the radius of the other object is the real numberADIUS the unit of measure(s) and the real numberADIUS is less than the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 818-828	If a real number an unit of measure(s) is a down payment of a loan and an object is a loan for purchase of the loan and value of the object is another real number the unit of measure(s) and a third real number is equal to (the other real number and the real number), then the third real number the unit of measure(s) is an original balance of the loan
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1922-1930	If a real number an unit of measure(s) is an elevation of a self connected object and the unit of measure is an instance of unit of length and the self connected object is an instance of land form, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and sea level is the real number the unit of measure(s)
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2591-2609	If the idle speed of an internal combustion engine is the rotation of a real number miles per hour(s) during a time duration and an object is an instance of automobile and a process is an instance of gas pedal and the process is an instance of pushing and the process ends up at another object and the internal combustion engine is a part of the object and the other object is a part of the object and a third object is an instance of crankshaft and the third object is a part of the internal combustion engine and the measure of the third object is the rotation of an entity miles per hour(s) during the time duration holds during the time of existence of the process, then the statement the entity is greater than the real number has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6394-6398	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of angular measure, then the physical quantity is an instance of angle measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6370-6374	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of area, then the physical quantity is an instance of area measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6388-6392	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of currency, then the physical quantity is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6400-6404	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of duration, then the physical quantity is an instance of time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6846-6850	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of frequency, then the physical quantity is an instance of frequency measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6406-6410	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of information, then the physical quantity is an instance of information measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6358-6362	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of length, then the physical quantity is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6364-6368	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of mass, then the physical quantity is an instance of mass measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6382-6386	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of temperature, then the physical quantity is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6376-6380	If a real number an unit of measure(s) is equal to a physical quantity and the unit of measure is an instance of unit of volume, then the physical quantity is an instance of volume measure
No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 862-866	If a radiation measure is equal to a real number rad(s) and the measure of an object is the radiation measure, then the object has absorbed a dose of radiation equal to the radiation measure
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2890-2908	If the maximum speed allowed by a governor is a function quantity and a real number miles per hour(s) is equal to a length measure per a time duration and another real number miles per hour(s) is equal to another length measure per another time duration and the real number is greater than the other real number and the real numberPROB is equal to the probability of the measure of the governor is the real number miles per hour(s) and the other real numberPROB is equal to the probability of the measure of the governor is the other real number miles per hour(s), then the other real numberPROB is greater than the real numberPROB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23888-23902	If menopause is an attribute of an agent holds during a time interval and a real number is equal to (1 year duration(s) and the beginning of the time interval) and another time interval is equal to interval between the other time interval and the beginning of the time interval, then there doesn't exist a process such that the process is an instance of menstruation and the agent experiences 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