  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  AlbanianLanguageArabicLanguageBasqueLanguageBulgarianLanguageCatalanLanguageChineseLanguageChineseTraditionalLanguageCroatianLanguageDanishLanguageDefraudingEnglishLanguageFarsiLanguageFinnishLanguageFrenchLanguageGalicianLanguageGermanLanguageGreekLanguageHaboobHebrewLanguageIcelandicLanguageIndonesianLanguageItalianLanguageJapaneseLanguageMalayLanguageNorwegianBokmalLanguageNorwegianNorskLanguagePolishLanguagePortugueseLanguageSpanishLanguageSwedishLanguageTaiwanChineseLanguageThaiLanguage   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb

Sigma KEE - lessThanOrEqualTo
 lessThanOrEqualTo

 appearance as argument number 1 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1733-1734 No TPTP formula. May not be expressible in strict first order. Merge.kif 1770-1772 No TPTP formula. May not be expressible in strict first order. Merge.kif 1767-1767 The number 1 argument of less than or equal to is an instance of quantity No TPTP formula. May not be expressible in strict first order. Merge.kif 1768-1768 The number 2 argument of less than or equal to is an instance of quantity No TPTP formula. May not be expressible in strict first order. Merge.kif 1763-1763 less than or equal to is an instance of binary predicate No TPTP formula. May not be expressible in strict first order. Merge.kif 1764-1764 less than or equal to is an instance of partial ordering relation No TPTP formula. May not be expressible in strict first order. Merge.kif 1765-1765 less than or equal to is an instance of relation extended to quantities No TPTP formula. May not be expressible in strict first order. Merge.kif 1766-1766 less than or equal to is trichotomizing on real number

 appearance as argument number 2 No TPTP formula. May not be expressible in strict first order. chinese_format.kif 143-143 No TPTP formula. May not be expressible in strict first order. english_format.kif 144-144 No TPTP formula. May not be expressible in strict first order. Merge.kif 1786-1786 greater than or equal to is an inverse of less than or equal to No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34063-34063 "小于或等于" is the printable form of less than or equal to in ChineseLanguage No TPTP formula. May not be expressible in strict first order. chinese_format.kif 144-144 "少于或等于" is the printable form of less than or equal to in ChineseLanguage No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34062-34062 "小於或等於" is the printable form of less than or equal to in ChineseTraditionalLanguage No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34061-34061 "less than or equal to" is the printable form of less than or equal to in english language

 antecedent No TPTP formula. May not be expressible in strict first order. Merge.kif 1774-1778 A quantity is less than or equal to another quantity if and only if the quantity is equal to the other quantity or the quantity is less than the other quantity No TPTP formula. May not be expressible in strict first order. Government.kif 606-612 If the day a positive integer is a commemorates date of a holiday and an entity is an instance of the holiday and the holiday is a subclass of fixed holiday and an integer is less than or equal to another entity-YEAR,then the entity is an instance of the day the positive integer No TPTP formula. May not be expressible in strict first order. Geography.kif 873-879 If an object is an instance of the maritime claims territorial sea of a region and the width of the object is a real number an unit of measure(s) and the distance between a physical and the region is another real number the unit of measure(s) and the other real number is less than or equal to the real number,then the physical is located at the object No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1792-1807 If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and the object is an instance of organism and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure,then the device is capable of doing the class described by a symbolic string as a instrument No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1774-1788 If a device is an instance of gun and a length measure is an effective range of the device and the distance between the device and an object is the length measure1 and there doesn't exist the object2 such that the object2 is between the object and the device and the length measure1 is less than or equal to the length measure,then the device is capable of doing the class described by a symbolic string as a instrument No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 553-558 If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity is less than or equal to 1,then the entity is an instance of human baby holds during the time position No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 462-467 If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity is less than or equal to 14,then the entity is an instance of human child holds during the time position No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1944-1962 If a financial transaction is an instance of limit order and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a currency measure is a limit price of the financial transaction and an agent asks for another currency measure for the security and the other currency measure is less than or equal to the currency measure,then the agreement is obliged to perform tasks of type the class described by a symbolic string No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169 If a real number an unit of measure(s) is a maximum payload capacity of a vehicle and the vehicle is maximum payload height width another real number another unit of measure(s) for a third real number a third unit of measure(s) and a self connected object is an instance of self connected object and a fourth real number the fourth real numberU(s) is a weight of the self connected object and the width of the self connected object is a fifth real number the fifth real numberU(s) and the height of the self connected object is a sixth real number the sixth real numberU(s) and the fourth real numberU is equal to the unit of measure and the fifth real numberU is equal to the third unit of measure and the sixth real numberU is equal to the other unit of measure and the fourth real number is less than or equal to the real number and the fifth real number is less than or equal to the third real number and the sixth real number is less than or equal to the other real number,then the vehicle is capable of doing the class described by a symbolic string as a instrument No TPTP formula. May not be expressible in strict first order. Transportation.kif 2629-2634 If a length measure is a navigable for draft of a water area and another length measure is a laden draft of a water vehicle and the length measure is less than or equal to the other length measure,then the water area is not capable of doing the trip of the water vehicle as a path No TPTP formula. May not be expressible in strict first order. Transportation.kif 2606-2612 If a real number long ton(s) is a navigable for shipping tonnage of a water area and a water vehicle is an instance of water vehicle and another real number long ton(s) is a vessel displacement of the water vehicle and the other real number is less than or equal to the real number,then the water area is capable of doing the trip of the water vehicle as a path No TPTP formula. May not be expressible in strict first order. Geography.kif 851-860 If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is less than or equal to 0,then the object is located at the other object

 consequent No TPTP formula. May not be expressible in strict first order. People.kif 285-306 A real number is an average of a list if and only if there exists another list such that length of the other list is equal to length of the list and 1th element of the other list is equal to 1th element of the list and for all a positive integer if the positive integer is a member of the other list,then there exist a quantity, the quantityMINUSONE,, , another positive integer and a third positive integer such that the quantity is greater than 1 and the quantity is less than or equal to length of the other list and the positive integerth element of the other list is equal to the quantity and the other positive integer is a member of the list and the quantity is equal to the other positive integerth element of the list and the third positive integer is a member of the other list and the quantityMINUSONE is equal to (the quantity and 1) and the quantityMINUSONE is equal to the third positive integerth element of the other list and the positive integer is equal to (the other positive integer and the third positive integer) and a fourth positive integer is equal to length of the other list and the real number is equal to the fourth positive integerth element of the other list and the fourth positive integer No TPTP formula. May not be expressible in strict first order. Merge.kif 6169-6173 A quantity is an instance of the interval from a constant quantity to another constant quantity if and only if the quantity is greater than or equal to the constant quantity and the quantity is less than or equal to the other constant quantity No TPTP formula. May not be expressible in strict first order. Merge.kif 5606-5615 If the highest cost path between a graph node and another graph node is equal to a graph path and the value of the graph path is equal to a quantity,then for all the graph path2 if the graph path2 is an instance of the set of paths between the graph node and the other graph node and the value of the graph path2 is equal to another quantity,then the other quantity is less than or equal to the quantity No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431 If the region a directional attribute of @ROW is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s),then the real number is less than or equal to 90 No TPTP formula. May not be expressible in strict first order. Geography.kif 467-474 If the meridian at @ROW a directional attribute is an instance of region and 1th element of (@ROW) is equal to a real number angular degree(s),then the real number is less than or equal to 180 No TPTP formula. May not be expressible in strict first order. Transportation.kif 1432-1443 If an object is an instance of airport and long runway airport is an attribute of the object,then there exist another object and a quantity such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the quantity and the quantity is greater than or equal to 2438 meter(s) or the quantity is less than or equal to 3047 meter(s) No TPTP formula. May not be expressible in strict first order. Transportation.kif 1414-1425 If an object is an instance of airport and medium length runway airport is an attribute of the object,then there exist another object and a quantity such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the quantity and the quantity is greater than or equal to 1524 meter(s) or the quantity is less than or equal to 2437 meter(s) No TPTP formula. May not be expressible in strict first order. Transportation.kif 1396-1407 If an object is an instance of airport and short runway airport is an attribute of the object,then there exist another object and a quantity such that the other object is an instance of runway and the other object is a part of the object and the length of the other object is the quantity and the quantity is greater than or equal to 914 meter(s) or the quantity is less than or equal to 1523 meter(s) No TPTP formula. May not be expressible in strict first order. Weather.kif 528-536 If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at 2 and a nonnegative real number is a cloud cover fraction of the region,then the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7 No TPTP formula. May not be expressible in strict first order. Weather.kif 517-526 If a region is an instance of geographic area and a process is an instance of partly cloudy weather and the process is located at 2,then there exists a nonnegative real number such that the nonnegative real number is a cloud cover fraction of the region and the nonnegative real number is greater than or equal to 0.3 and the nonnegative real number is less than or equal to 0.7 No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 59-65 If a geopolitical area is an instance of city and the geopolitical area is a part of france,then the number of instances in the resident of the geopolitical area is less than or equal to the number of instances in the resident of paris No TPTP formula. May not be expressible in strict first order. Government.kif 1047-1054 If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a time duration is a suffrage age maximum of the agent and the age of the other agent is another time duration,then the other time duration is less than or equal to the time duration No TPTP formula. May not be expressible in strict first order. Government.kif 1036-1045 If an election is an instance of the election of an agent and a process is an instance of the voting of the election and another agent is an agent of the process and a time duration is a suffrage age maximum of the agent,then there exists another time duration such that the age of the other agent is the other time duration and the other time duration is less than or equal to the time duration No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8660-8664 If an object is an instance of ice and the measure of the object is a real number celsius degree(s),then the real number is less than or equal to 0 No TPTP formula. May not be expressible in strict first order. Transportation.kif 447-452 If a railway is an instance of railway and the railway the attribute narrow gauge and a length measure is a track width of the railway,then the length measure is less than or equal to 1.435 meter(s) No TPTP formula. May not be expressible in strict first order. Transportation.kif 430-435 If a railway is an instance of railway and the railway the attribute standard gauge and a length measure is a track width of the railway,then the length measure is less than or equal to 1.44 meter(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 1138-1142 If an object is an instance of exclusive fishing zone and the linear extent of the object is a length measure,then the length measure is less than or equal to 200 nautical mile(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 1169-1173 If an object is an instance of extended fishing zone and the linear extent of the object is a length measure,then the length measure is less than or equal to 200 nautical mile(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 1107-1111 If an object is an instance of maritime exclusive economic zone and the linear extent of the object is a length measure,then the length measure is less than or equal to 200 nautical mile(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 1067-1071 If an object is an instance of maritime shelf area and the linear extent of the object is a length measure,then the length measure is less than or equal to 200 nautical mile(s) No TPTP formula. May not be expressible in strict first order. Geography.kif 1209-1213 If an object is an instance of territorial sea and the linear extent of the object is a length measure,then the length measure is less than or equal to 12 nautical mile(s) No TPTP formula. May not be expressible in strict first order. Transportation.kif 710-714 If a length measure is a length of crude oil pipeline of a geographic area and another length measure is a total pipeline in area of the geographic area,then the length measure is less than or equal to the other length measure No TPTP formula. May not be expressible in strict first order. Transportation.kif 733-737 If a length measure is a length of natural gas pipeline of a geographic area and another length measure is a total pipeline in area of the geographic area,then the length measure is less than or equal to the other length measure No TPTP formula. May not be expressible in strict first order. Transportation.kif 756-760 If a length measure is a length of petroleum product pipeline of a geographic area and another length measure is a total pipeline in area of the geographic area,then the length measure is less than or equal to the other length measure No TPTP formula. May not be expressible in strict first order. Media.kif 2205-2218 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 exists a set or class such that the set or class is an instance of set or class and if the relation @ARGS and another entity is equal to the positive integerth element of (@ARGS),then the other entity is an instance of the set or class and the number of instances in the set or class is less than or equal to the integer Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25

 appearance as argument number 0 No TPTP formula. May not be expressible in strict first order. Media.kif 1968-1968 The number of instances in TwelveApostles is less than or equal to 12 No TPTP formula. May not be expressible in strict first order. Merge.kif 6708-6710 A real number month duration(s) is less than or equal to the real number and 31 day duration(s) Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view) Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners