No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 897-901	If a geopolitical area is an instance of american state and the geopolitical area is not equal to california, then the number of instances in the resident of california is greater than the number of instances in the resident of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7068-7082	If a process is an instance of sublimation and an entity is a patient of the process and the measure of the entity is a real number joule(s) holds during immediately before the time of existence of the process and the measure of the entity is another real number joule(s) holds during immediately after the time of existence of the process, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2855-2866	If an object is an instance of brackish water and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the real number is greater than 0.5 and the real number is less than or equal to 30.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 798-804	If a process is an instance of high pressure weather system and the process is located at an object, then a real number inch mercury(s) is a barometric pressure of the object and the real number is greater than 30.2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2847-2855	If a process is an instance of Bradycardia and an agent experiences the process and a heart is an instance of heart and the heart is a part of the agent and a time interval is an instance of minute and the heart beats at a rate of an integer beats per the time interval, then 50 is greater than the integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2819-2827	If a process is an instance of tachyarrhythmia and an agent experiences the process and a heart is an instance of heart and the heart is a part of the agent and a time interval is an instance of minute and the heart beats at a rate of an integer beats per the time interval, then the integer is greater than 100
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2187-2201	If a process is an instance of tornado and an entity is an instance of EF5 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 200.0 and the cognitive agent believes the real number miles per hour(s) is equal to ThreeSecondSpeedGustFn ending at the time of existence of the process in the object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 689-702	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6259-6268	If a self connected object is an instance of botanical tree and another self connected object is an instance of shrub and an unit of measure is an instance of unit of length and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s), then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	WMD.kif 851-858	If an unit of measure is an instance of micrograms per kilogram and a real number the unit of measure(s) is an effective dose of a kind of biochemical agent and another real number the unit of measure(s) is a lethal dose of a kind of biochemical agent, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 415-423	If an unit of measure is an instance of unit of currency and the reserve price of an auctioning is a real number the unit of measure(s) and the auctioning ends up at an agent, then there exist another real number and an object such that the agent bids the other real number the unit of measure(s) for the object and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1219-1228	If an object is an instance of tap water and another object is an instance of mixture and the object is a part of the other object and a third object is an instance of antifreeze and the third object is a part of the other object and solid is an attribute of the other object and the measure of the other object is a real number celsius degree(s), then 32 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 484-496	If a process is an instance of wind and an entity is an instance of Beaufort number 12 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 73.0 and the cognitive agent believes the real number miles per hour(s) is a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11286-11294	If a physical is an instance of wind and the physical is located at an object and a time interval is equal to the time of existence of the physical and a real number miles per hour(s) is a surface wind speed of the object holds during the time interval, then the real number is greater than 20.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11180-11188	If a process is an instance of walking and another process is an instance of running and an agent is an agent of the process and the agent is an agent of the other process and the measure of the agent is a real number per an entity holds during the time of existence of the process and the measure of the agent is another real number per the entity holds during the time of existence of the other process, then 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 24194-24205	If a physical is an instance of wedding and date of the physical is a day and the day is an instance of the day a positive integer, then there exist another kind of day and an integer such that weddingAnniversary the physical and another kind of day and the other kind of day is a subclass of day and the integer is an instance of integer and the other kind of day is equal to the day the positive integer and the integer is greater than another integer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1579-1588	If a process is an instance of communication over Bluetooth network and a radiating is an instance of radiating electromagnetic and the radiating is a subprocess of the process and the frequency of the carrier of the radiating is a real number 1 billion hertzs(s), then the real number is greater than 2.4 and the real number is less than 2.485
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4247-4257	If an object is an instance of basin and another object is an instance of land area and an unit of measure is an instance of unit of length and the object is a real number the unit of measure(s) above the ground and the other object is another real number the unit of measure(s) above the ground and the object is adjacent to the other object, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4188-4194	If a physical is an instance of butte and another physical is an instance of mesa and the linear extent of the physical is a real number an unit of measure(s) and the linear extent of the other physical is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4206-4216	If a self connected object is an instance of piedmont and mountainous terrain is an attribute of another self connected object and the self connected object is adjacent to the other self connected object and an unit of measure is an instance of unit of length and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s), then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3999-4010	If an object is an instance of underground area and an unit of measure is an instance of unit of length and the object is a real number the unit of measure(s) above the ground and a self connected object is a surface of planet earth and another object is a part of the self connected object and the object is below to the other object and the other object is another real number the unit of measure(s) above the ground, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4231-4241	If an object is an instance of valley and another object is an instance of land area and an unit of measure is an instance of unit of length and the object is a real number the unit of measure(s) above the ground and the other object is another real number the unit of measure(s) above the ground and the object is adjacent to the other object, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5037	If a region low tide a time interval for a real number an unit of measure(s) and the region is high tide another time interval for another real number the unit of measure(s) and the unit of measure is an instance of unit of length and a third time interval is an instance of day and the third time interval overlaps the time interval and the third time interval overlaps the other time interval, then the real number is greater than the other real number
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
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