No TPTP formula. May not be expressible in strict first order.	Government.kif 1211-1231	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation, then the regional law of the nation obligates the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 980-988	If a real number year duration(s) is a suffrage age minimum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent and the age of the object is another real number year duration(s), then the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 968-978	If a real number year duration(s) is a suffrage age minimum of an agent and an election is an instance of the election of the agent and an object is capable of doing the voting of the election as a agent, then there exists another real number such that the age of the object is the other real number year duration(s) and the other real number is greater than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 519-525	If a real number an unit of measure(s) is a total length of highway system of a geographic area and another real number the unit of measure(s) is a length of paved highway of the geographic area, then the real number is greater than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 527-533	If a real number an unit of measure(s) is a total length of highway system of a geographic area and another real number the unit of measure(s) is a length of unpaved highway of the geographic area, then the real number is greater than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1078-1082	If a human is an underage user of a web site and the age of the human is a real number year duration(s), then the real number is greater than or equal to 18
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1428-1443	If temperate climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is greater than or equal to -3.0 and the real number is less than or equal to 18.0 and there don't exist another time interval and another real number such that the other time interval is an instance of month and the geographic area average temperature for period the other time interval for the other real number celsius degree(s) and the other real number is less than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1325-1332	If wet tropical climate zone is a climate type in area of a geographic area, then for all a month and a real number the month is an instance of month and the geographic area average rainfall for period the month for the real number one thousandth of a meter(s) and the real number is greater than or equal to 60.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7122-7126	If 1 month duration(s) is equal to a real number day duration(s), then the real number is greater than or equal to 28
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24343-24349	If a kind of device is an equipment type of an artifact, then there exist a real number and an entity such that the entity is an instance of a kind of device and the real number is greater than or equal to 1 and the artifact equipment count the kind of device for the real number
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3178-3183	If hazardous AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is greater than or equal to 301
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3122-3129	If moderate AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 100 and the real number is greater than or equal to 51
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3150-3157	If unhealthy AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 200 and the real number is greater than or equal to 151
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3164-3171	If unhealthy AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 300 and the real number is greater than or equal to 201
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3136-3143	If unhealthy for sensitive groups AQI air quality is an attribute of an entity and the airQualityIndex of the entity is a real number holds during a time position, then the real number is less than or equal to 150 and the real number is greater than or equal to 101
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 193-199	If an entity is an instance of human adult and the age of the entity is a real number year duration(s) holds during a time position, then the real number is greater than or equal to 18
No TPTP formula. May not be expressible in strict first order.	WMD.kif 205-211	If a physical is an instance of bacterium, then there exists a real number such that the width of the physical is the real number meter(s) and the real number is greater than or equal to 0.000001 and the real number is less than or equal to 0.000002
No TPTP formula. May not be expressible in strict first order.	Weather.kif 740-751	If an entity is an instance of hurricane, then there exist a process, a geographic area and a real number such that the process is an instance of tropical cyclone and the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 74.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1557-1566	If a process is an instance of heavy zone, then there exist a water area and a real number such that the water area is an instance of surf zone and the process is located at the water area and significantWaveHeight in the water area during the time of existence of the process is the real number foot length(s). and the real number is greater than or equal to 13.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 774-785	If an entity is an instance of typhoon, then there exist the entityC, a geographic area and a real number such that the entityC is an instance of tropical cyclone and the geographic area is an instance of geographic area and the entityC is located at the geographic area and the real number miles per hour(s) is equal to Mean10MinutesWindSpeedFn for the time of existence of the entityC in region the geographic area and the real number is greater than or equal to 64.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 681-691	If a process is an instance of tropical cyclone, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 44.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 716-727	If a process is an instance of tropical storm, then there exist a geographic area and a real number such that the geographic area is an instance of geographic area and the process is located at the geographic area and the real number miles per hour(s) is equal to Mean1MinuteWindSpeedFn for the time of existence of the process in region the geographic area and the real number is greater than or equal to 39.0 and the real number is less than or equal to 74.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26508-26520	If an object is an instance of high rise, then there exist a collection and an integer such that the collection is an instance of collection and for all another object if the other object is an instance of building level and the other object is a part of the object, then the other object is a member of the collection and the integer is a member count of the collection and the integer is greater than or equal to 10
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 610-617	If a radiating is an instance of X ray radiation, then there exists a real number such that the wavelength of the radiating is the real number nanometer(s) and the real number is greater than or equal to 0.01 and 10.0 is less than the real number
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 750-755	If a positive integer is a maximum replications of a computer program, then the positive integer is greater than or equal to the number of instances in 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