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 1822-1824
No TPTP formula. May not be expressible in strict first order. Merge.kif 1819-1819 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 1820-1820 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 1815-1815 less than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1816-1816 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 1817-1817 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 1818-1818 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 1838-1838 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 34133-34133
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 34132-34132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34131-34131

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1826-1830 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. FinancialOntology.kif 2022-2043
No TPTP formula. May not be expressible in strict first order. Government.kif 619-625
No TPTP formula. May not be expressible in strict first order. Merge.kif 3042-3061
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 1384-1403
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1362-1380
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 387-392
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 306-313
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 2660-2665
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2637-2643
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 298-319 A real number is an average of a list if and only if there exist another list and a positive integer 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 another positive integer and the positive integer is equal to length of the other list and the real number is equal to the positive integerth element of the other list and the positive integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 5979-5989
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 1075-1084
No TPTP formula. May not be expressible in strict first order. Government.kif 1062-1073
No TPTP formula. May not be expressible in strict first order. Weather.kif 2365-2384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8944-8948
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 2096-2114
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 1966-1966 The number of instances in Twelve apostles 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