No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3282-3302	If a collection is an instance of collection and a real number is an instance of currency measure and an integer is an instance of real number and the real number is equal to the value of the collection and the integer is equal to the number of instances in the class described by a symbolic string, then the average selling price of the collection is equal to the real number and the integer
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3095-3109	If a time position is an instance of transformer and a wire coil is an instance of wire coil and another wire coil is an instance of wire coil and the number of coils in the wire coil is an integer and the number of coils in the other wire coil is another integer and the measure of the wire coil is volt a real number(s) holds during the time position, then the measure of the other wire coil is volt another real number(s) holds during the time position and the other real number is equal to the real number and the other integer and the integer
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3333-3356	If a collection is an instance of collection and a corpuscular object is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of accessing web page and the other collection is a component of the corpuscular object, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and the rate of clicking through the corpuscular object in the collection is equal to the number of instances in the third collection and the number of instances in the collection
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of accessing web page and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of accessing web page and the object is an instance of web page and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that purchases made in the collection during the time interval is equal to the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3735-3756	If the measure of an object is a real number lumen(s) and the measure of another object is another real number lumen(s) and the object is a part of a third object and the other object is a part of the third object and the object is not equal to the other object and the real number is greater than the other real number and the real number and the other real number is equal to a third real number and the contrast ratio of the third object is the third real number, then there don't exist a fourth object, a fifth object,, , a fourth real number and a fifth real number such that the measure of the fourth object is the fourth real number lumen(s) and the measure of the fifth object is the fifth real number lumen(s) and the fourth object is a part of the third object and the fifth object is a part of the third object and the fourth object is not equal to the fifth object and the fourth real number is greater than the fifth real number and the fourth real number and the fifth real number is greater than the third real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2229-2239	If an agent possesses an object and the measure of the object is a real number share unit(s) and a stock split is split for an integer for another integer, then an entity is equal to the real number and the other integer and another entity is equal to the entity and the integer and the measure of the object is the other entity share unit(s) holds during immediately after the time of existence of the stock split
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17906-17931	If the relative angle between an object and another object is a real number and one end of the object is a third object and one end of the object is a fourth object and the third object is not equal to the fourth object and the length of the object is the real number1 an unit of measure(s) and the length of the other object is the real number2 the unit of measure(s) and the distance between the third object and a fifth object is the real number3 the unit of measure(s) and one end of the other object is the fifth object and one end of the other object is a sixth object and the fifth object is not equal to the sixth object and the third object doesn't meet the fifth object, then the real number is equal to the arccosine of ((the real number3 and the real number3 and the real number1 and the real number1) and the real number2 and the real number2) and 2.0 and the real number1 and the real number2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29847-29853	If the approximate value of a real number is another real number, then the statement 0.9 is greater than the real number and the other real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29855-29861	If the approximate value of a real number is another real number, then the statement 0.9 is greater than the other real number and the real number has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8062-8075	If the per capita 1 of a real number an unit of measure(s) is equal to the real number the unit of measure(s), then there exists an integer such that the integer is equal to the number of instances in the resident of a geopolitical area and the real number is equal to another real number and the integer
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3929-3937	If a function quantity is equal to a real number nautical mile(s) per another real number hour duration(s), then the function quantity is equal to the real number and the other real number knot unit of speed(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5239-5245	If a real number is an instance of real number, then the tangent of the real number is equal to the sine of the real number and the cosine of the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19635-19642	If an entity the attribute chemical equilibrium, then there exist a real number, a time position,, , another real number and a third real number such that if the other real number is a resource for the entity holds during the time position and the third real number is a result of the entity holds during the time position, then the real number is equal to the other real number and the third real number

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