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 1788-1790
No TPTP formula. May not be expressible in strict first order. Merge.kif 1784-1784 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 1785-1785 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 1780-1780 greater than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1781-1781 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 1782-1782 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 1786-1786 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 1783-1783 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 "大于或等于" 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 6835-6845 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 1792-1796 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 2040-2047
No TPTP formula. May not be expressible in strict first order. Geography.kif 2049-2059
No TPTP formula. May not be expressible in strict first order. Geography.kif 2031-2038
No TPTP formula. May not be expressible in strict first order. Merge.kif 12709-12722
No TPTP formula. May not be expressible in strict first order. Geography.kif 1300-1307
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. FinancialOntology.kif 1964-1982
No TPTP formula. May not be expressible in strict first order. Geography.kif 2130-2137
No TPTP formula. May not be expressible in strict first order. Geography.kif 2139-2151
No TPTP formula. May not be expressible in strict first order. Geography.kif 2121-2128
No TPTP formula. May not be expressible in strict first order. Geography.kif 2088-2095
No TPTP formula. May not be expressible in strict first order. Geography.kif 2097-2107
No TPTP formula. May not be expressible in strict first order. Geography.kif 2079-2086
No TPTP formula. May not be expressible in strict first order. Government.kif 1136-1147
No TPTP formula. May not be expressible in strict first order. Government.kif 1086-1094

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1833-1837 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 6169-6173 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 16413-16424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16430-16441
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16447-16458
No TPTP formula. May not be expressible in strict first order. Government.kif 1096-1114
No TPTP formula. May not be expressible in strict first order. Merge.kif 5581-5590
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 528-536
No TPTP formula. May not be expressible in strict first order. Weather.kif 517-526
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 1393-1398
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 645-655
No TPTP formula. May not be expressible in strict first order. Merge.kif 12699-12707
No TPTP formula. May not be expressible in strict first order. Geography.kif 6480-6500
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 983-990
No TPTP formula. May not be expressible in strict first order. Government.kif 972-981
No TPTP formula. May not be expressible in strict first order. Government.kif 1836-1846
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1438-1443
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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3681-3692

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 1062-1071 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-1134 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 6704-6706 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