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 1792-1794
No TPTP formula. May not be expressible in strict first order. Merge.kif 1788-1788 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 1789-1789 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 1782-1782 greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1785-1785 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1786-1786 greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1783-1783 greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1784-1784 greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1790-1790 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. Merge.kif 1787-1787 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 4575-4575 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. chinese_format.kif 112-112
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26523-26523
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26522-26522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26521-26521

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7156-7167 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. Geography.kif 1375-1382
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 15233-15250
No TPTP formula. May not be expressible in strict first order. Merge.kif 3206-3213
No TPTP formula. May not be expressible in strict first order. Merge.kif 3187-3197
No TPTP formula. May not be expressible in strict first order. Media.kif 3056-3077
No TPTP formula. May not be expressible in strict first order. Merge.kif 3118-3130
No TPTP formula. May not be expressible in strict first order. Weather.kif 1452-1464
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. Geography.kif 1578-1585
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 437-448
No TPTP formula. May not be expressible in strict first order. Merge.kif 8624-8631
No TPTP formula. May not be expressible in strict first order. Merge.kif 8633-8638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 335-341
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2949-2954
No TPTP formula. May not be expressible in strict first order. Merge.kif 13616-13631
No TPTP formula. May not be expressible in strict first order. Weather.kif 1397-1404
No TPTP formula. May not be expressible in strict first order. Merge.kif 13551-13560
No TPTP formula. May not be expressible in strict first order. Merge.kif 13562-13571
No TPTP formula. May not be expressible in strict first order. Merge.kif 13573-13582
No TPTP formula. May not be expressible in strict first order. Merge.kif 8592-8599
No TPTP formula. May not be expressible in strict first order. Merge.kif 8601-8606
No TPTP formula. May not be expressible in strict first order. Transportation.kif 191-199

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 4610-4618 Open sea is an attribute of an object if and only if the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between a physical and the object is a 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 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 1825-1829 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 1877-1881 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 7662-7670 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 1757-1762
No TPTP formula. May not be expressible in strict first order. Geography.kif 1769-1774
No TPTP formula. May not be expressible in strict first order. Dining.kif 1118-1129
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1164-1179
No TPTP formula. May not be expressible in strict first order. Economy.kif 1549-1555
No TPTP formula. May not be expressible in strict first order. Geography.kif 1526-1534
No TPTP formula. May not be expressible in strict first order. Geography.kif 1600-1606
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 18172-18177
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13002-13011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13013-13024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12952-12962
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13032-13041
No TPTP formula. May not be expressible in strict first order. Merge.kif 18155-18160
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 4778-4792
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17728-17742
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. Mid-level-ontology.kif 23355-23372

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