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 1881-1883
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 1877-1877 O argumento numero 1 de greaterThanOrEqualTo e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 1878-1878 O argumento numero 2 de greaterThanOrEqualTo e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 1873-1873 greaterThanOrEqualTo e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 1874-1874 greaterThanOrEqualTo e' uma instancia de Relacao parcialmente Ordenada
No TPTP formula. May not be expressible in strict first order. Merge.kif 1875-1875 greaterThanOrEqualTo e' uma instancia de Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order. Merge.kif 1879-1879 greaterThanOrEqualTo e' inverso de lessThanOrEqualTo
No TPTP formula. May not be expressible in strict first order. Merge.kif 1876-1876 greaterThanOrEqualTo e' tricotomizado en Numero Real

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 26537-26537
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26536-26536
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 7469-7479 Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) Numero Real e' maior ou igual a 2.5 Objeto25 Objeto25 e' uma instancia de FineParticulateMatter Objeto25 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order. Merge.kif 1885-1889 Numero Real e' maior ou igual a Numero Real Numero Real e' igual a Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order. Geography.kif 2080-2090
No TPTP formula. May not be expressible in strict first order. Geography.kif 2092-2106
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13854
No TPTP formula. May not be expressible in strict first order. Geography.kif 1316-1323
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 219-225
No TPTP formula. May not be expressible in strict first order. Geography.kif 2165-2176
No TPTP formula. May not be expressible in strict first order. Geography.kif 2178-2196
No TPTP formula. May not be expressible in strict first order. Geography.kif 2125-2136
No TPTP formula. May not be expressible in strict first order. Geography.kif 2138-2152
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 1926-1930 Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' maior ou igual a 0 Numero Real e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Medicine.kif 359-365
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18743-18753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18759-18769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18775-18785
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 1419-1425
No TPTP formula. May not be expressible in strict first order. Merge.kif 6022-6028
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 8045-8052
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. 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 13831-13839
No TPTP formula. May not be expressible in strict first order. Economy.kif 4645-4658
No TPTP formula. May not be expressible in strict first order. Economy.kif 4669-4682
No TPTP formula. May not be expressible in strict first order. Geography.kif 7142-7162
No TPTP formula. May not be expressible in strict first order. Food.kif 1367-1385
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

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 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE contem informacao UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order. Government.kif 1160-1174 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE contem informacao CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order. Military.kif 872-881 AvailableForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Military.kif 895-906 FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1965-1965 O numero de instancias dentro de TwelveApostles e' maior ou igual a 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