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 1840-1842
No TPTP formula. May not be expressible in strict first order. Merge.kif 1836-1836 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 1837-1837 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 1832-1832 greater than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1833-1833 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 1834-1834 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 1838-1838 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 1835-1835 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 26527-26527
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26526-26526

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7197-7207 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 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. Geography.kif 2085-2095
No TPTP formula. May not be expressible in strict first order. Geography.kif 2097-2111
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2045-2066
No TPTP formula. May not be expressible in strict first order. Merge.kif 13703-13716
No TPTP formula. May not be expressible in strict first order. Geography.kif 1323-1330
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 214-220
No TPTP formula. May not be expressible in strict first order. Geography.kif 2170-2181
No TPTP formula. May not be expressible in strict first order. Geography.kif 2183-2201
No TPTP formula. May not be expressible in strict first order. Geography.kif 2130-2141
No TPTP formula. May not be expressible in strict first order. Geography.kif 2143-2157
No TPTP formula. May not be expressible in strict first order. Government.kif 1176-1189
No TPTP formula. May not be expressible in strict first order. Government.kif 1120-1130

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1885-1889 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 18524-18534
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18540-18550
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18556-18566
No TPTP formula. May not be expressible in strict first order. Government.kif 1132-1152
No TPTP formula. May not be expressible in strict first order. Geography.kif 1425-1431
No TPTP formula. May not be expressible in strict first order. Merge.kif 5953-5963
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 8004-8011
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 686-699
No TPTP formula. May not be expressible in strict first order. Merge.kif 13693-13701
No TPTP formula. May not be expressible in strict first order. Geography.kif 6842-6862
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 1003-1012
No TPTP formula. May not be expressible in strict first order. Government.kif 990-1001
No TPTP formula. May not be expressible in strict first order. Government.kif 1882-1892
No TPTP formula. May not be expressible in strict first order. Weather.kif 2365-2384
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1497-1502
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 2096-2114

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 1092-1103 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 1160-1174 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 1965-1965 The number of instances in Twelve apostles 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