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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1764-1766
No TPTP formula. May not be expressible in strict first order. Merge.kif 1760-1760 The number 1 argument of greater than is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1761-1761 The number 2 argument of greater than is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1754-1754 greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1757-1757 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1758-1758 greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1755-1755 greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1756-1756 greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1762-1762 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. Merge.kif 1759-1759 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 4479-4479 Southern ocean comparative area greater than for 2 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 26530-26530
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26529-26529
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26528-26528

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 961-965 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 6996-7007 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 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. Cars.kif 809-825
No TPTP formula. May not be expressible in strict first order. Merge.kif 14396-14413
No TPTP formula. May not be expressible in strict first order. Merge.kif 3165-3172
No TPTP formula. May not be expressible in strict first order. Merge.kif 3146-3156
No TPTP formula. May not be expressible in strict first order. Media.kif 3038-3059
No TPTP formula. May not be expressible in strict first order. Merge.kif 3082-3094
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 1059-1064
No TPTP formula. May not be expressible in strict first order. Cars.kif 2898-2916
No TPTP formula. May not be expressible in strict first order. Geography.kif 1360-1367
No TPTP formula. May not be expressible in strict first order. Geography.kif 1546-1553
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 437-447
No TPTP formula. May not be expressible in strict first order. Merge.kif 8211-8218
No TPTP formula. May not be expressible in strict first order. Merge.kif 8220-8225
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 491-497
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2920-2925
No TPTP formula. May not be expressible in strict first order. Merge.kif 12884-12899
No TPTP formula. May not be expressible in strict first order. Weather.kif 1396-1404
No TPTP formula. May not be expressible in strict first order. Merge.kif 12819-12828
No TPTP formula. May not be expressible in strict first order. Merge.kif 12830-12839
No TPTP formula. May not be expressible in strict first order. Merge.kif 12841-12850
No TPTP formula. May not be expressible in strict first order. Merge.kif 8179-8186
No TPTP formula. May not be expressible in strict first order. Merge.kif 8188-8193

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 4506-4514 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 NaticalMile(s) and the real number is greater than 5
No TPTP formula. May not be expressible in strict first order. People.kif 285-306 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 1797-1801 A quantity is greater than or equal to another quantity if and only if the quantity is equal to the other quantity or the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1849-1853 A quantity is an instance of positive real number if and only if the quantity is greater than 0 and the quantity is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 7384-7392 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 1725-1730
No TPTP formula. May not be expressible in strict first order. Geography.kif 1737-1742
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 1151-1166
No TPTP formula. May not be expressible in strict first order. Economy.kif 1544-1548
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 17125-17130
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11164-11173
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11174-11185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11119-11127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11193-11202
No TPTP formula. May not be expressible in strict first order. Merge.kif 17109-17114
No TPTP formula. May not be expressible in strict first order. WMD.kif 816-820
No TPTP formula. May not be expressible in strict first order. Cars.kif 2599-2617
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16070-16084
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3649-3657
No TPTP formula. May not be expressible in strict first order. Cars.kif 2898-2916
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28839-28860
No TPTP formula. May not be expressible in strict first order. Economy.kif 1562-1566

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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