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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Number
Number(nombre)

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 1827-1829
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 1825-1825 Nombre est compl�tement d�compos� en nombre r�el, nombre imaginaire, + nombre complexe
No TPTP formula. May not be expressible in strict first order. Merge.kif 1824-1824 Nombre est une sous-classe de quantit�

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4990-4990 Le domaine de MaxFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Weather.kif 1666-1666 Le domaine de MaxValueFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 5016-5016 Le domaine de MinFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Weather.kif 1490-1490 Le domaine de StandardDeviationFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Weather.kif 1435-1435 Le domaine de VarianceAverageFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Weather.kif 1457-1457 Le domaine de VarianceFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 2008-2008 Nombre complexe est une sous-classe de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 1899-1899 Nombre imaginaire est une sous-classe de nombre
No TPTP formula. May not be expressible in strict first order. engineering.kif 289-289 MultipoleVariable est une sous-classe de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 1891-1891 Nombre r�el est une sous-classe de nombre
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 858-858
No TPTP formula. May not be expressible in strict first order. english_format.kif 918-918
No TPTP formula. May not be expressible in strict first order. french_format.kif 534-534
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 22-22
No TPTP formula. May not be expressible in strict first order. terms-it.txt 24-24
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2219-2219
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 486-486
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 25-25
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 101-101
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 555-555
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 25-25

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4988-4988 Le nombre 1 argument de MaxFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 4989-4989 Le nombre 2 argument de MaxFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 5014-5014 Le nombre 1 argument de MinFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 5015-5015 Le nombre 2 argument de MinFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 5055-5055 Le nombre 1 argument de RationalNumberFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Merge.kif 5062-5062 Le nombre 1 argument de RealNumberFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Weather.kif 1430-1430 Le nombre 1 argument de VarianceAverageFn est une instance de nombre
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 616-616 Le nombre 3 argument de currentInterestRate est une instance de nombre
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 622-622 Le nombre 2 argument de fixedInterestRate est une instance de nombre
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3439-3439 Le nombre 2 argument de passengerCapacityMaxNumber est une instance de nombre
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 601-601 Le nombre 2 argument de primeInterestRate est une instance de nombre

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 3287-3291
No TPTP formula. May not be expressible in strict first order. Weather.kif 1802-1806
No TPTP formula. May not be expressible in strict first order. Merge.kif 4855-4860
No TPTP formula. May not be expressible in strict first order. Merge.kif 4940-4945


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