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 1765-1767
No TPTP formula. May not be expressible in strict first order. Merge.kif 1761-1761 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 1762-1762 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 1755-1755 greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1758-1758 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1759-1759 greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1756-1756 greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1757-1757 greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1763-1763 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. Merge.kif 1760-1760 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 4394-4394 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 26464-26464
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26463-26463
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26462-26462

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 951-955 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 6899-6910 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 803-816
No TPTP formula. May not be expressible in strict first order. Merge.kif 14381-14398
No TPTP formula. May not be expressible in strict first order. Merge.kif 3166-3173
No TPTP formula. May not be expressible in strict first order. Merge.kif 3147-3157
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 3083-3095
No TPTP formula. May not be expressible in strict first order. Weather.kif 1060-1072
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 2869-2883
No TPTP formula. May not be expressible in strict first order. Geography.kif 1352-1358
No TPTP formula. May not be expressible in strict first order. Geography.kif 1530-1536
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 8196-8203
No TPTP formula. May not be expressible in strict first order. Merge.kif 8205-8210
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 12869-12884
No TPTP formula. May not be expressible in strict first order. Merge.kif 12804-12813
No TPTP formula. May not be expressible in strict first order. Merge.kif 12815-12824
No TPTP formula. May not be expressible in strict first order. Merge.kif 12826-12835
No TPTP formula. May not be expressible in strict first order. Merge.kif 8164-8171
No TPTP formula. May not be expressible in strict first order. Merge.kif 8173-8178
No TPTP formula. May not be expressible in strict first order. Transportation.kif 188-196

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 4421-4429 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 length measure and the length measure is greater than 5 nautical mile(s)
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 1798-1802 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 1850-1854 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 7371-7379 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 1707-1712
No TPTP formula. May not be expressible in strict first order. Geography.kif 1719-1724
No TPTP formula. May not be expressible in strict first order. Dining.kif 1115-1123
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-210
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1140-1152
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 803-816
No TPTP formula. May not be expressible in strict first order. Merge.kif 17110-17115
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 17094-17099
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 2572-2588
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 3607-3615
No TPTP formula. May not be expressible in strict first order. Cars.kif 2869-2883
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 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