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

Formal Language: 



KB Term:  Term intersection
English Word: 

  greaterThan

Sigma KEE - greaterThan
greaterThan

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1731-1732
No TPTP formula. May not be expressible in strict first order. Merge.kif 1852-1854
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 339-340
No TPTP formula. May not be expressible in strict first order. Merge.kif 1848-1848 The number 1 argument of greater than is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1849-1849 The number 2 argument of greater than is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1842-1842 greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1845-1845 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1846-1846 greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1843-1843 greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1844-1844 greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1850-1850 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. Merge.kif 1847-1847 greater than is trichotomizing on real number

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 4676-4676 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 111-111
No TPTP formula. May not be expressible in strict first order. english_format.kif 111-111
No TPTP formula. May not be expressible in strict first order. french_format.kif 77-77
No TPTP formula. May not be expressible in strict first order. relations-it.txt 121-121
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1904-1904
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 29-29
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 77-77
No TPTP formula. May not be expressible in strict first order. relations-de.txt 127-127
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 96-96
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 76-76
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 248-248
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 112-112
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26532-26532
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26531-26531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26530-26530
No TPTP formula. May not be expressible in strict first order. terms-de.txt 37-37
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 249-249

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1007-1011 An entity is an instance of personal account and the number of instances in the class described by a symbolic string is greater than 1 if and only if the entity is an instance of joint account
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10.0 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Geography.kif 1370-1377
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Merge.kif 15515-15532
No TPTP formula. May not be expressible in strict first order. Merge.kif 3277-3284
No TPTP formula. May not be expressible in strict first order. Merge.kif 3258-3268
No TPTP formula. May not be expressible in strict first order. Media.kif 3068-3089
No TPTP formula. May not be expressible in strict first order. Merge.kif 3190-3202
No TPTP formula. May not be expressible in strict first order. Weather.kif 1453-1465
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1070-1075
No TPTP formula. May not be expressible in strict first order. Cars.kif 2884-2902
No TPTP formula. May not be expressible in strict first order. WMD.kif 1017-1023
No TPTP formula. May not be expressible in strict first order. Geography.kif 1575-1582
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 354-365
No TPTP formula. May not be expressible in strict first order. Merge.kif 8722-8729
No TPTP formula. May not be expressible in strict first order. Merge.kif 8731-8736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 342-348
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2942-2947
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1753-1773
No TPTP formula. May not be expressible in strict first order. Merge.kif 13863-13878
No TPTP formula. May not be expressible in strict first order. Weather.kif 1398-1405
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5997-6017
No TPTP formula. May not be expressible in strict first order. Merge.kif 13798-13807

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4711-4720 Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0
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 1885-1889 A real number is greater 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 greater than the other real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1937-1941 A real number is an instance of positive real number if and only if the real number is greater than 0 and the real number is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 7758-7766 An object is larger than another object if and only if for all a real number, another real number and an unit of measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 1754-1759
No TPTP formula. May not be expressible in strict first order. Geography.kif 1766-1771
No TPTP formula. May not be expressible in strict first order. Dining.kif 1165-1176
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24236-24246
No TPTP formula. May not be expressible in strict first order. Economy.kif 1538-1544
No TPTP formula. May not be expressible in strict first order. Geography.kif 1522-1530
No TPTP formula. May not be expressible in strict first order. Geography.kif 1597-1603
No TPTP formula. May not be expressible in strict first order. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Merge.kif 18446-18451
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13536-13545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13547-13558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13486-13497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13566-13575
No TPTP formula. May not be expressible in strict first order. Merge.kif 18429-18434
No TPTP formula. May not be expressible in strict first order. Cars.kif 2585-2603
No TPTP formula. May not be expressible in strict first order. Merge.kif 4874-4888
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18343-18358

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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