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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - greaterThanOrEqualTo
greaterThanOrEqualTo

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1735-1736
No TPTP formula. May not be expressible in strict first order. Merge.kif 1821-1823
No TPTP formula. May not be expressible in strict first order. Merge.kif 1817-1817 The number 1 argument of greater than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1818-1818 The number 2 argument of greater than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1813-1813 greater than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1814-1814 greater than or equal to is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1815-1815 greater than or equal to is an instance of relation extended to quantities
No TPTP formula. May not be expressible in strict first order. Merge.kif 1819-1819 greater than or equal to is an inverse of less than or equal to
No TPTP formula. May not be expressible in strict first order. Merge.kif 1816-1816 greater than or equal to is trichotomizing on real number

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 113-113
No TPTP formula. May not be expressible in strict first order. english_format.kif 113-113
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 114-114
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26528-26528
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26527-26527

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7185-7195 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 the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1825-1829 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. Geography.kif 2083-2093
No TPTP formula. May not be expressible in strict first order. Geography.kif 2095-2109
No TPTP formula. May not be expressible in strict first order. Merge.kif 13594-13607
No TPTP formula. May not be expressible in strict first order. Geography.kif 1321-1328
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 212-218
No TPTP formula. May not be expressible in strict first order. Geography.kif 2168-2179
No TPTP formula. May not be expressible in strict first order. Geography.kif 2181-2199
No TPTP formula. May not be expressible in strict first order. Geography.kif 2128-2139
No TPTP formula. May not be expressible in strict first order. Geography.kif 2141-2155
No TPTP formula. May not be expressible in strict first order. Government.kif 1161-1174
No TPTP formula. May not be expressible in strict first order. Government.kif 1105-1115

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1866-1870 A real number is an instance of nonnegative real number if and only if the real number is greater than or equal to 0 and the real number is an instance of real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18094-18104
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18110-18120
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18126-18136
No TPTP formula. May not be expressible in strict first order. Government.kif 1117-1137
No TPTP formula. May not be expressible in strict first order. Geography.kif 1423-1429
No TPTP formula. May not be expressible in strict first order. Merge.kif 5920-5929
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1445-1457
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1426-1438
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1407-1419
No TPTP formula. May not be expressible in strict first order. Weather.kif 917-925
No TPTP formula. May not be expressible in strict first order. Weather.kif 906-915
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7714-7721
No TPTP formula. May not be expressible in strict first order. Merge.kif 13584-13592
No TPTP formula. May not be expressible in strict first order. Geography.kif 6830-6850
No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
No TPTP formula. May not be expressible in strict first order. Government.kif 988-997
No TPTP formula. May not be expressible in strict first order. Government.kif 975-986
No TPTP formula. May not be expressible in strict first order. Government.kif 1867-1877
No TPTP formula. May not be expressible in strict first order. Weather.kif 2364-2383
No TPTP formula. May not be expressible in strict first order. Transportation.kif 427-433
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1029-1033
No TPTP formula. May not be expressible in strict first order. Weather.kif 2095-2113
No TPTP formula. May not be expressible in strict first order. Transportation.kif 587-592
No TPTP formula. May not be expressible in strict first order. Weather.kif 349-366

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1077-1088 For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order. Government.kif 1145-1159 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE contains information compulsory suffrage law
No TPTP formula. May not be expressible in strict first order. Military.kif 872-881 The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 895-906 The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 1963-1963 The number of instances in TwelveApostles is greater than or equal to 11


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