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

Formal Language: 


KB Term:  Term intersection
English Word: 

  greaterThanOrEqualTo

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 1891-1893
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 343-344
No TPTP formula. May not be expressible in strict first order. Merge.kif 1887-1887 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 1888-1888 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 1883-1883 greater than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1884-1884 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 1885-1885 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 1889-1889 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 1886-1886 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. french_format.kif 78-78
No TPTP formula. May not be expressible in strict first order. relations-it.txt 122-122
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1905-1905
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 30-30
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 79-79
No TPTP formula. May not be expressible in strict first order. relations-de.txt 130-130
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 162-162
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 97-97
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 77-77
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 250-250
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 26548-26548
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26547-26547
No TPTP formula. May not be expressible in strict first order. terms-de.txt 38-38
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 251-251

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 7773-7783 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. Geography.kif 2205-2215
No TPTP formula. May not be expressible in strict first order. Geography.kif 2217-2231
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2048-2069
No TPTP formula. May not be expressible in strict first order. Merge.kif 13994-14007
No TPTP formula. May not be expressible in strict first order. Geography.kif 1447-1454
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 2290-2301
No TPTP formula. May not be expressible in strict first order. Geography.kif 2303-2321
No TPTP formula. May not be expressible in strict first order. Geography.kif 2250-2261
No TPTP formula. May not be expressible in strict first order. Geography.kif 2263-2277
No TPTP formula. May not be expressible in strict first order. Government.kif 1138-1151
No TPTP formula. May not be expressible in strict first order. Government.kif 1082-1092

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1937-1941 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. Medicine.kif 347-353
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20314-20324
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20330-20340
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20346-20356
No TPTP formula. May not be expressible in strict first order. Government.kif 1094-1114
No TPTP formula. May not be expressible in strict first order. Geography.kif 1550-1556
No TPTP formula. May not be expressible in strict first order. Merge.kif 6047-6053
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1574-1586
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1555-1567
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1536-1548
No TPTP formula. May not be expressible in strict first order. Weather.kif 1152-1160
No TPTP formula. May not be expressible in strict first order. Weather.kif 1141-1150
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9212-9219
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 688-701
No TPTP formula. May not be expressible in strict first order. Food.kif 571-578
No TPTP formula. May not be expressible in strict first order. Food.kif 495-502
No TPTP formula. May not be expressible in strict first order. Food.kif 533-540
No TPTP formula. May not be expressible in strict first order. Merge.kif 13984-13992
No TPTP formula. May not be expressible in strict first order. Economy.kif 4983-4996
No TPTP formula. May not be expressible in strict first order. Economy.kif 5007-5020
No TPTP formula. May not be expressible in strict first order. Geography.kif 7446-7466
No TPTP formula. May not be expressible in strict first order. Food.kif 1368-1386
No TPTP formula. May not be expressible in strict first order. Cars.kif 2795-2814
No TPTP formula. May not be expressible in strict first order. Government.kif 965-974

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 1054-1065 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 1122-1136 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 940-949 equal the available for military service male of a geopolitical area and 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 963-974 equal the fit for military service male of a geopolitical area and 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 Twelve apostles is greater than or equal to 11


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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