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. Merge.kif 3006-3007
No TPTP formula. May not be expressible in strict first order. Merge.kif 3002-3004
No TPTP formula. May not be expressible in strict first order. Merge.kif 3009-3010
No TPTP formula. May not be expressible in strict first order. Merge.kif 2998-2998 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 2999-2999 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 2994-2994 greater than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 2995-2995 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 2996-2996 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 3000-3000 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 2997-2997 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 143-143
No TPTP formula. May not be expressible in strict first order. english_format.kif 144-144
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 114-114 "大于或等于" is the printable form of greater than or equal to in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26466-26466 "大於或等於" is the printable form of greater than or equal to in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26465-26465 "greater than or equal to" is the printable form of greater than or equal to in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6819-6829 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 3012-3016 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 2028-2035
No TPTP formula. May not be expressible in strict first order. Geography.kif 2037-2047
No TPTP formula. May not be expressible in strict first order. Geography.kif 2019-2026
No TPTP formula. May not be expressible in strict first order. Merge.kif 18202-18215
No TPTP formula. May not be expressible in strict first order. Geography.kif 1288-1295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 358-364
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1966-1984
No TPTP formula. May not be expressible in strict first order. Geography.kif 2118-2125
No TPTP formula. May not be expressible in strict first order. Geography.kif 2127-2139
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 2076-2083
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 2067-2074
No TPTP formula. May not be expressible in strict first order. Government.kif 1143-1154
No TPTP formula. May not be expressible in strict first order. Government.kif 1093-1101

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3081-3085 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 9516-9520 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 16326-16337
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16343-16354
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16360-16371
No TPTP formula. May not be expressible in strict first order. Government.kif 1103-1121
No TPTP formula. May not be expressible in strict first order. Merge.kif 8642-8651
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1417-1428
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1399-1410
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1381-1392
No TPTP formula. May not be expressible in strict first order. Weather.kif 529-537
No TPTP formula. May not be expressible in strict first order. Weather.kif 518-527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7787-7792
No TPTP formula. May not be expressible in strict first order. Geography.kif 1381-1386
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 646-656
No TPTP formula. May not be expressible in strict first order. Merge.kif 18192-18200
No TPTP formula. May not be expressible in strict first order. Geography.kif 6464-6484
No TPTP formula. May not be expressible in strict first order. Cars.kif 2792-2811
No TPTP formula. May not be expressible in strict first order. Government.kif 990-997
No TPTP formula. May not be expressible in strict first order. Government.kif 979-988
No TPTP formula. May not be expressible in strict first order. Government.kif 1842-1852
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1440-1445
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 1003-1007
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3675-3686

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 1069-1078 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 1129-1141 For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE
  • if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
  • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING
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 10393-10395 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners