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 1811-1813
No TPTP formula. May not be expressible in strict first order. Merge.kif 1807-1807 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 1808-1808 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 1801-1801 greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1804-1804 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1805-1805 greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1802-1802 greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1803-1803 greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1809-1809 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. Merge.kif 1806-1806 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 4586-4586 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 26522-26522
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26521-26521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26520-26520

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 7168-7179 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 1377-1384
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 15368-15385
No TPTP formula. May not be expressible in strict first order. Merge.kif 3236-3243
No TPTP formula. May not be expressible in strict first order. Merge.kif 3217-3227
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 3149-3161
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 1580-1587
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 8659-8666
No TPTP formula. May not be expressible in strict first order. Merge.kif 8668-8673
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 337-343
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. Merge.kif 13725-13740
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. Merge.kif 13660-13669
No TPTP formula. May not be expressible in strict first order. Merge.kif 13671-13680
No TPTP formula. May not be expressible in strict first order. Merge.kif 13682-13691
No TPTP formula. May not be expressible in strict first order. Merge.kif 8627-8634

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 4621-4629 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 298-319 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 1844-1848 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 1896-1900 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 7697-7705 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 1759-1764
No TPTP formula. May not be expressible in strict first order. Geography.kif 1771-1776
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. Hotel.kif 1186-1201
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 1528-1536
No TPTP formula. May not be expressible in strict first order. Geography.kif 1602-1608
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 18286-18291
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13382-13391
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13393-13404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13332-13343
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13412-13421
No TPTP formula. May not be expressible in strict first order. Merge.kif 18269-18274
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 4809-4823
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18154-18168
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 23881-23898

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