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 1793-1795
No TPTP formula. May not be expressible in strict first order. Merge.kif 1789-1789 The number 1 argument of greater than or equal to is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1790-1790 The number 2 argument of greater than or equal to is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1785-1785 greater than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1786-1786 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 1787-1787 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 1791-1791 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 1788-1788 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 26535-26535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26534-26534

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7025-7035 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 1797-1801 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. Geography.kif 2061-2068
No TPTP formula. May not be expressible in strict first order. Geography.kif 2070-2080
No TPTP formula. May not be expressible in strict first order. Geography.kif 2052-2059
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
No TPTP formula. May not be expressible in strict first order. Merge.kif 12862-12875
No TPTP formula. May not be expressible in strict first order. Geography.kif 1306-1314
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 357-363
No TPTP formula. May not be expressible in strict first order. Geography.kif 2151-2158
No TPTP formula. May not be expressible in strict first order. Geography.kif 2160-2172
No TPTP formula. May not be expressible in strict first order. Geography.kif 2142-2149
No TPTP formula. May not be expressible in strict first order. Geography.kif 2109-2116
No TPTP formula. May not be expressible in strict first order. Geography.kif 2118-2128
No TPTP formula. May not be expressible in strict first order. Geography.kif 2100-2107
No TPTP formula. May not be expressible in strict first order. Government.kif 1162-1175
No TPTP formula. May not be expressible in strict first order. Government.kif 1106-1116

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1838-1842 A quantity is an instance of nonnegative real number if and only if the quantity is greater than or equal to 0 and the quantity is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 6305-6309 A quantity is an instance of the interval from a constant quantity to another constant quantity if and only if the quantity is greater than or equal to the constant quantity and the quantity is less than or equal to the other constant quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16444-16455
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16461-16472
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16478-16489
No TPTP formula. May not be expressible in strict first order. Government.kif 1118-1138
No TPTP formula. May not be expressible in strict first order. Merge.kif 5719-5728
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1432-1443
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1414-1425
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1396-1407
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 7769-7774
No TPTP formula. May not be expressible in strict first order. Geography.kif 1404-1410
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 646-659
No TPTP formula. May not be expressible in strict first order. Merge.kif 12852-12860
No TPTP formula. May not be expressible in strict first order. Geography.kif 6670-6690
No TPTP formula. May not be expressible in strict first order. Cars.kif 2825-2844
No TPTP formula. May not be expressible in strict first order. Government.kif 989-998
No TPTP formula. May not be expressible in strict first order. Government.kif 976-987
No TPTP formula. May not be expressible in strict first order. Government.kif 1868-1878
No TPTP formula. May not be expressible in strict first order. Weather.kif 2358-2377
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1451-1456
No TPTP formula. May not be expressible in strict first order. Transportation.kif 423-428
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1018-1022

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 1078-1089 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 1146-1160 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 867-876 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 890-901 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 1967-1967 The number of instances in TwelveApostles is greater than or equal to 11
No TPTP formula. May not be expressible in strict first order. Merge.kif 6842-6844 A real number month duration(s) is greater than or equal to the real number and 28 day duration(s)


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