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 1863-1865
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 341-342
No TPTP formula. May not be expressible in strict first order. Merge.kif 1860-1860 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 1861-1861 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 1856-1856 less than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1857-1857 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 1858-1858 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 1859-1859 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. french_format.kif 93-93
No TPTP formula. May not be expressible in strict first order. relations-it.txt 164-164
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1920-1920
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 45-45
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 78-78
No TPTP formula. May not be expressible in strict first order. relations-de.txt 174-174
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 203-203
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 112-112
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 92-92
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 327-327
No TPTP formula. May not be expressible in strict first order. Merge.kif 1879-1879 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 34151-34151
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 34150-34150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34149-34149
No TPTP formula. May not be expressible in strict first order. terms-de.txt 53-53
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 328-328

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1867-1871 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 2008-2029
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 3083-3102
No TPTP formula. May not be expressible in strict first order. Geography.kif 874-880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1417-1436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1395-1413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 392-397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 311-318
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 852-861

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


No TPTP formula. May not be expressible in strict first order. People.kif 272-293 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 6044-6050
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. Geography.kif 2873-2884
No TPTP formula. May not be expressible in strict first order. Food.kif 571-578
No TPTP formula. May not be expressible in strict first order. Food.kif 495-502
No TPTP formula. May not be expressible in strict first order. Food.kif 533-540
No TPTP formula. May not be expressible in strict first order. Economy.kif 4645-4658
No TPTP formula. May not be expressible in strict first order. Economy.kif 4669-4682
No TPTP formula. May not be expressible in strict first order. Food.kif 1367-1385
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 8985-8989
No TPTP formula. May not be expressible in strict first order. Food.kif 2993-3011
No TPTP formula. May not be expressible in strict first order. Food.kif 3018-3036
No TPTP formula. May not be expressible in strict first order. Food.kif 2851-2869
No TPTP formula. May not be expressible in strict first order. Transportation.kif 453-458

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