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

Formal Language: 


KB Term:  Term intersection
English Word: 

  PopulationPolicySupport

Sigma KEE - lessThanOrEqualTo
lessThanOrEqualTo

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1733-1734
No TPTP formula. May not be expressible in strict first order. Merge.kif 1873-1875
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 341-342
No TPTP formula. May not be expressible in strict first order. Merge.kif 1870-1870 The number 1 argument of less than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1871-1871 The number 2 argument of less than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1866-1866 less than or equal to is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1867-1867 less than or equal to is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1868-1868 less 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 1869-1869 less 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 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. french_format.kif 93-93
No TPTP formula. May not be expressible in strict first order. relations-it.txt 164-164
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1920-1920
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 45-45
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 78-78
No TPTP formula. May not be expressible in strict first order. relations-de.txt 174-174
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 203-203
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 112-112
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 92-92
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 327-327
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. domainEnglishFormat.kif 34162-34162 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. chinese_format.kif 144-144 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. domainEnglishFormat.kif 34161-34161 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. domainEnglishFormat.kif 34160-34160 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. terms-de.txt 53-53 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. relations-tg.txt 328-328 greater than or equal to is an inverse of less than or equal to

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1877-1881 A real number is less than or equal to another real number if and only if equal the real number and the other real number or the real number is less than the other real number
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2025-2046
No TPTP formula. May not be expressible in strict first order. Government.kif 583-589
No TPTP formula. May not be expressible in strict first order. Merge.kif 3096-3115
No TPTP formula. May not be expressible in strict first order. Geography.kif 1039-1045
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1634-1653
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1612-1630
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 385-390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 304-311
No TPTP formula. May not be expressible in strict first order. Weather.kif 136-145
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3191-3196
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3168-3174
No TPTP formula. May not be expressible in strict first order. Geography.kif 1017-1026

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


No TPTP formula. May not be expressible in strict first order. People.kif 272-293 A real number is an average of a list if and only if there exist another list and a positive integer such that equal length of the other list and length of the list and equal 1th element of the other list and 1th element of the list and for all another positive integer and equal the positive integer and length of the other list and equal the real number and the positive integerth element of the other list and the positive integer
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27362-27374
No TPTP formula. May not be expressible in strict first order. Merge.kif 6069-6075
No TPTP formula. May not be expressible in strict first order. Geography.kif 597-601
No TPTP formula. May not be expressible in strict first order. Geography.kif 637-644
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. Geography.kif 3031-3042
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. 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. Food.kif 1368-1386
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 59-65
No TPTP formula. May not be expressible in strict first order. Government.kif 1037-1046
No TPTP formula. May not be expressible in strict first order. Government.kif 1024-1035
No TPTP formula. May not be expressible in strict first order. Weather.kif 1930-1946
No TPTP formula. May not be expressible in strict first order. Weather.kif 1907-1923
No TPTP formula. May not be expressible in strict first order. Weather.kif 3089-3108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10191-10195
No TPTP formula. May not be expressible in strict first order. Food.kif 3000-3018

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1968-1968 The number of instances in Twelve apostles is less than or equal to 12


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