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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Number
Number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1727-1728
No TPTP formula. May not be expressible in strict first order. Merge.kif 1820-1822
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 335-336
No TPTP formula. May not be expressible in strict first order. Merge.kif 1818-1818 劃分 Number, RealNumber, ImaginaryNumber and ComplexNumber
No TPTP formula. May not be expressible in strict first order. Merge.kif 1817-1817 子類 Number and Quantity

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4983-4983 範圍 最大 and Number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1665-1665 範圍 MaxValueFn and Number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5009-5009 範圍 分 and Number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1489-1489 範圍 StandardDeviationFn and Number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1434-1434 範圍 VarianceAverageFn and Number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1456-1456 範圍 VarianceFn and Number
No TPTP formula. May not be expressible in strict first order. Merge.kif 2002-2002 子類 ComplexNumber and Number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1893-1893 子類 ImaginaryNumber and Number
No TPTP formula. May not be expressible in strict first order. engineering.kif 288-288 子類 多極變量 and Number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1885-1885 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 858-858 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. english_format.kif 918-918 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. french_format.kif 534-534 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 22-22 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. terms-it.txt 24-24 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2219-2219 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 486-486 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 25-25 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 101-101 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. terms-de.txt 360-360 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 555-555 子類 RealNumber and Number
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 25-25 子類 RealNumber and Number

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 4981-4981 域 最大, 1 and Number
No TPTP formula. May not be expressible in strict first order. Merge.kif 4982-4982 域 最大, 2 and Number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5007-5007 域 分, 1 and Number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5008-5008 域 分, 2 and Number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5048-5048 域 有理數, 1 and Number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5055-5055 域 實數, 1 and Number
No TPTP formula. May not be expressible in strict first order. Weather.kif 1429-1429 域 VarianceAverageFn, 1 and Number
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 616-616 域 目前的利率, 3 and Number
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 622-622 域 固定利率, 2 and Number
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4395-4395 域 客運量最大數量, 2 and Number
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 601-601 域 主要利率, 2 and Number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3281-3285
No TPTP formula. May not be expressible in strict first order. Weather.kif 1801-1805
No TPTP formula. May not be expressible in strict first order. Merge.kif 4848-4853
No TPTP formula. May not be expressible in strict first order. Merge.kif 4933-4938


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 3.0 is open source software produced by Articulate Software and its partners