Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1803-1805
No TPTP formula. May not be expressible in strict first order. Merge.kif 1800-1800 The number 1 argument of less than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1801-1801 The number 2 argument of less than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1796-1796 less than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1797-1797 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 1798-1798 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 1799-1799 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 1819-1819 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 34134-34134
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 144-144
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34133-34133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34132-34132

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1807-1811 A real number is less than or equal to another real number if and only if the real number is equal to the other real number or the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order. Government.kif 605-611
No TPTP formula. May not be expressible in strict first order. Merge.kif 3011-3030
No TPTP formula. May not be expressible in strict first order. Geography.kif 881-887
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1373-1391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1352-1369
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 385-390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 304-311
No TPTP formula. May not be expressible in strict first order. Weather.kif 148-157
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2667-2672
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2644-2650
No TPTP formula. May not be expressible in strict first order. Geography.kif 859-868

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 289-310 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 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 5945-5954
No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431
No TPTP formula. May not be expressible in strict first order. Geography.kif 467-474
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1445-1457
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1426-1438
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1407-1419
No TPTP formula. May not be expressible in strict first order. Weather.kif 917-925
No TPTP formula. May not be expressible in strict first order. Weather.kif 906-915
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 59-65
No TPTP formula. May not be expressible in strict first order. Government.kif 1060-1069
No TPTP formula. May not be expressible in strict first order. Government.kif 1047-1058
No TPTP formula. May not be expressible in strict first order. Weather.kif 2364-2383
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8588-8592
No TPTP formula. May not be expressible in strict first order. Transportation.kif 453-458
No TPTP formula. May not be expressible in strict first order. Transportation.kif 435-441
No TPTP formula. May not be expressible in strict first order. Weather.kif 2095-2113
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366
No TPTP formula. May not be expressible in strict first order. Geography.kif 1148-1153
No TPTP formula. May not be expressible in strict first order. Geography.kif 1180-1185
No TPTP formula. May not be expressible in strict first order. Geography.kif 1116-1121
No TPTP formula. May not be expressible in strict first order. Geography.kif 1075-1080
No TPTP formula. May not be expressible in strict first order. Geography.kif 1221-1226
No TPTP formula. May not be expressible in strict first order. Transportation.kif 721-725
No TPTP formula. May not be expressible in strict first order. Transportation.kif 744-748

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 1964-1964 The number of instances in TwelveApostles is less than or equal to 12


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 3.0 is open source software produced by Articulate Software and its partners