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. Merge.kif 1896-1897
No TPTP formula. May not be expressible in strict first order. Merge.kif 1893-1895
No TPTP formula. May not be expressible in strict first order. Merge.kif 1890-1890 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 1891-1891 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 1884-1884 greater than is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1887-1887 greater than is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1888-1888 greater than is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1885-1885 greater than is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1886-1886 greater than is an instance of transitive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1892-1892 greater than is an inverse of less than
No TPTP formula. May not be expressible in strict first order. Merge.kif 1889-1889 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 4382-4382 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 82-82
No TPTP formula. May not be expressible in strict first order. french_format.kif 77-77
No TPTP formula. May not be expressible in strict first order. relations-it.txt 121-121
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 29-29
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 27-27
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 77-77
No TPTP formula. May not be expressible in strict first order. relations-de.txt 127-127
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 248-248
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 112-112 "大于" is the printable form of greater than in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4843-4843 "greater than" is the printable form of greater than in english language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 477-477 "«أكْبَر من»" is the printable form of greater than in ar
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 249-249 "mas malaki sa" is the printable form of greater than in tg

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 952-956 A financial account is an instance of personal account and the number of instances in the class described by a cognitive agent is greater than 1 if and only if the financial account is an instance of joint account
No TPTP formula. May not be expressible in strict first order. Geography.kif 6821-6830 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
No TPTP formula. May not be expressible in strict first order. Cars.kif 843-856
No TPTP formula. May not be expressible in strict first order. Merge.kif 15495-15512
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1017-1022
No TPTP formula. May not be expressible in strict first order. Cars.kif 2906-2920
No TPTP formula. May not be expressible in strict first order. Geography.kif 1340-1346
No TPTP formula. May not be expressible in strict first order. Geography.kif 1518-1524
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 438-448
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 492-498
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2858-2863
No TPTP formula. May not be expressible in strict first order. Robot.kif 27-45
No TPTP formula. May not be expressible in strict first order. Merge.kif 13717-13732
No TPTP formula. May not be expressible in strict first order. Merge.kif 13650-13659
No TPTP formula. May not be expressible in strict first order. Merge.kif 13661-13670
No TPTP formula. May not be expressible in strict first order. Merge.kif 13672-13681
No TPTP formula. May not be expressible in strict first order. Robot.kif 54-78
No TPTP formula. May not be expressible in strict first order. Transportation.kif 188-196
No TPTP formula. May not be expressible in strict first order. Transportation.kif 216-224
No TPTP formula. May not be expressible in strict first order. Transportation.kif 134-141
No TPTP formula. May not be expressible in strict first order. Transportation.kif 540-548
No TPTP formula. May not be expressible in strict first order. Transportation.kif 161-168
No TPTP formula. May not be expressible in strict first order. Transportation.kif 243-251
No TPTP formula. May not be expressible in strict first order. Transportation.kif 514-522
No TPTP formula. May not be expressible in strict first order. Transportation.kif 271-279

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 4409-4416 Open sea is an attribute of an object if and only if for all a physical an entity 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 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 1930-1934 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 1986-1990 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 7914-7922 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 1695-1700
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. Dining.kif 1119-1127
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 1136-1148
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 843-856
No TPTP formula. May not be expressible in strict first order. Merge.kif 18693-18698
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 213-222
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 223-234
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 168-176
No TPTP formula. May not be expressible in strict first order. DimensioningAmenities.kif 242-251
No TPTP formula. May not be expressible in strict first order. Merge.kif 18679-18684
No TPTP formula. May not be expressible in strict first order. WMD.kif 812-816
No TPTP formula. May not be expressible in strict first order. Cars.kif 2612-2625
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3600-3608
No TPTP formula. May not be expressible in strict first order. Cars.kif 2906-2920
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28357-28378
No TPTP formula. May not be expressible in strict first order. Economy.kif 1562-1566
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1125-1134

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners