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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lessThanOrEqualTo

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 1863-1865
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 1860-1860 少于或等于 的 1 数量 是 实数instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1861-1861 少于或等于 的 2 数量 是 实数instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1856-1856 少于或等于二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1857-1857 少于或等于偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1858-1858 少于或等于延伸数量关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 1859-1859 少于或等于实数trichotomizingOn

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 1879-1879 大于或等于少于或等于inverse
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34151-34151
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 144-144
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34150-34150
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34149-34149
No TPTP formula. May not be expressible in strict first order. terms-de.txt 53-53
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 328-328

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1867-1871 实数lessThanOrEqualTo 另一个 实数 若且唯若 那个 实数 equal 那个 另外 实数那个 实数lessThan 那个 另外 实数
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. Government.kif 619-625
No TPTP formula. May not be expressible in strict first order. Merge.kif 3083-3102
No TPTP formula. May not be expressible in strict first order. Geography.kif 874-880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1417-1436
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1395-1413
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 392-397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 311-318
No TPTP formula. May not be expressible in strict first order. Weather.kif 148-157
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 2660-2665
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2637-2643
No TPTP formula. May not be expressible in strict first order. Geography.kif 852-861

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


No TPTP formula. May not be expressible in strict first order. People.kif 272-293 实数 串列average 若且唯若 有存在 另一个 串列 正整数 这样 那个 另外 串列 的长度 equal 那个 串列 的长度 和 那个 另外 串列 的第 1 几个元素 equal 那个 串列 的第 1 几个元素 和 对所有 另一个 正整数 那个 正整数 equal 那个 另外 串列 的长度 和 那个 实数 equal 那个 另外 串列 的第 那个 正整数 几个元素 和 那个 正整数
No TPTP formula. May not be expressible in strict first order. Merge.kif 6044-6050
No TPTP formula. May not be expressible in strict first order. Geography.kif 427-431
No TPTP formula. May not be expressible in strict first order. Geography.kif 467-474
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. Geography.kif 2873-2884
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 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. Food.kif 1367-1385
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 1075-1084
No TPTP formula. May not be expressible in strict first order. Government.kif 1062-1073
No TPTP formula. May not be expressible in strict first order. Weather.kif 2365-2384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8985-8989
No TPTP formula. May not be expressible in strict first order. Food.kif 2993-3011
No TPTP formula. May not be expressible in strict first order. Food.kif 3018-3036
No TPTP formula. May not be expressible in strict first order. Food.kif 2851-2869
No TPTP formula. May not be expressible in strict first order. Transportation.kif 453-458

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 1966-1966 TwelveApostles instance 的数量 是 lessThanOrEqualTo 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