No TPTP formula. May not be expressible in strict first order.	Transportation.kif 435-441	If a railway is an instance of railway and the railway the attribute standard gauge and a real number meter(s) is a track width of the railway, then the real number is less than or equal to 1.44
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 2096-2114	If a process is an instance of tornado and a speed scale attribute is an instance of enhanced fuijita scale attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number miles per hour(s) and another real number miles per hour(s) are the min and max speed of the speed scale attribute, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third 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 349-366	If a process is an instance of wind and a speed scale attribute is an instance of Beaufort number attribute and the process is located at an object and a cognitive agent believes the process the attribute the speed scale attribute and a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of the speed scale attribute and the unit of measure is an instance of unit of measure, then there exists a third real number such that the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number and the cognitive agent believes the third real number the unit of measure(s) is a surface wind speed of the object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1141-1146	If a physical is an instance of exclusive fishing zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1173-1178	If a physical is an instance of extended fishing zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1109-1114	If a physical is an instance of maritime exclusive economic zone and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1068-1073	If a physical is an instance of maritime shelf area and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1214-1219	If a physical is an instance of territorial sea and the linear extent of the physical is a real number nautical mile(s), then the real number is less than or equal to 12.0
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 721-725	If a real number meter(s) is a length of crude oil pipeline of a geographic area and another real number meter(s) is a total pipeline in area of the geographic area, then the real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 744-748	If a real number meter(s) is a length of natural gas pipeline of a geographic area and another real number meter(s) is a total pipeline in area of the geographic area, then the real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 767-771	If a real number meter(s) is a length of petroleum product pipeline of a geographic area and another real number meter(s) is a total pipeline in area of the geographic area, then the real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Media.kif 2210-2223	If there can be at most an integer values to argument a positive integer of a relation and the relation is an instance of predicate, then there exist a class, an entity and @ARGS such that the class is an instance of set or class and if the relation @ARGS and the entity is equal to the positive integerth element of (@ARGS), then the entity is an instance of the class and the number of instances in the class is less than or equal to the integer
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 479-490	If a kind of stationary artifact can accommodate at most an integer people and an entity is an instance of a kind of stationary artifact and the entity is an element of belongings of an agent, then the statement there exist another entity and a third entity such that the other entity is an instance of group of people and the third entity is a member count of the other entity and the third entity is less than or equal to the integer and the other entity stays at the entity has the modal force of possibility
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.	Weather.kif 2130-2143	If a real number an unit of measure(s) and another real number the unit of measure(s) are the min and max speed of a speed scale attribute and the unit of measure is an instance of unit of measure, then there exist a physical and a third real number such that the physical is an instance of motion and the physical the attribute the speed scale attribute and the measure of the physical is the third real number the unit of measure(s) and the third real number is greater than or equal to the real number and the third real number is less than or equal to the other real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24400-24405	If a symbolic string is a sub-string of another symbolic string and a nonnegative integer is equal to the length of the symbolic string and another nonnegative integer is equal to the length of the other symbolic string, then the nonnegative integer is less than or equal to the other nonnegative integer
No TPTP formula. May not be expressible in strict first order.	Government.kif 1052-1060	If a real number year duration(s) is a suffrage age maximum 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 less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 1040-1050	If a real number year duration(s) is a suffrage age maximum 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 less than or equal to the real number
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 790-800	If a region has capacity for an integer according to a proposition, then if the region expresses the proposition, then the statement there exist an entity and another entity such that the entity is an instance of group of people and the other entity is a member count of the entity and the other entity is less than or equal to the integer and the entity is located at the region has the modal force of possibility
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.	Economy.kif 2051-2053	If a geopolitical area is electricity fraction from source a kind of power generation for a real number, then the real number is less than or equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2037-2039	If a geopolitical area is electricity fraction from source in period a kind of power generation for a real number with a kind of time interval, then the real number is less than or equal to 1.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7128-7132	If 1 month duration(s) is equal to a real number day duration(s), then the real number is less than or equal to 31
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2545-2547	If a geopolitical area export partner by fraction another geopolitical area for a positive real number, then the positive real number is less than or equal to 1.0
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