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 1862-1864
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 1858-1858 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 1859-1859 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 1852-1852 greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1855-1855 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1856-1856 greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1853-1853 greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1854-1854 greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1860-1860 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. Merge.kif 1857-1857 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 4883-4883 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 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. english_format.kif 111-111 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. french_format.kif 77-77 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. relations-it.txt 121-121 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1904-1904 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 29-29 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 77-77 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. relations-de.txt 127-127 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 161-161 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 96-96 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 76-76 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 248-248 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 112-112 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26543-26543 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26542-26542 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26541-26541 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. terms-de.txt 37-37 Southern ocean comparative area greater than for 2.0 with united states
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 249-249 Southern ocean comparative area greater than for 2.0 with united states

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1009-1013 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 7744-7755 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 355-373
No TPTP formula. May not be expressible in strict first order. Geography.kif 1501-1508
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 15665-15682
No TPTP formula. May not be expressible in strict first order. Merge.kif 3290-3297
No TPTP formula. May not be expressible in strict first order. Merge.kif 3271-3281
No TPTP formula. May not be expressible in strict first order. Media.kif 3052-3073
No TPTP formula. May not be expressible in strict first order. Merge.kif 3203-3215
No TPTP formula. May not be expressible in strict first order. Weather.kif 2139-2151
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 2868-2886
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 1706-1713
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 8835-8842
No TPTP formula. May not be expressible in strict first order. Merge.kif 8844-8849
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 3780-3785
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1746-1766
No TPTP formula. May not be expressible in strict first order. Merge.kif 14016-14031
No TPTP formula. May not be expressible in strict first order. Weather.kif 2085-2092
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6014-6034
No TPTP formula. May not be expressible in strict first order. Merge.kif 13951-13960

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 4918-4927 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 equal length of the other list and length of the list and equal 1th element of the other list and 1th element of the list and for all another positive integer and equal the positive integer and length of the other list and equal the real number and 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 1948-1952 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 7843-7851 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 1879-1884
No TPTP formula. May not be expressible in strict first order. Geography.kif 1891-1896
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 3987-4007
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1194-1209
No TPTP formula. May not be expressible in strict first order. Merge.kif 11414-11422
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25883-25893
No TPTP formula. May not be expressible in strict first order. Economy.kif 1663-1669
No TPTP formula. May not be expressible in strict first order. Geography.kif 1653-1661
No TPTP formula. May not be expressible in strict first order. Geography.kif 1728-1734
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 18633-18638
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14875-14884
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14886-14897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14825-14836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14905-14914
No TPTP formula. May not be expressible in strict first order. Merge.kif 18616-18621
No TPTP formula. May not be expressible in strict first order. Cars.kif 2569-2587
No TPTP formula. May not be expressible in strict first order. Merge.kif 4902-4916
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19914-19929

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