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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComplexNumber

Sigma KEE - ComplexNumber
ComplexNumber(complex number)
complex_conjugate, complex_number, complex_quantity, imaginary, imaginary_number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2009-2009 Complex number is disjoint from real number
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1757-1758
No TPTP formula. May not be expressible in strict first order. Merge.kif 2011-2012
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 366-367
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4867-4867
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4622-4622
No TPTP formula. May not be expressible in strict first order. Merge.kif 2008-2008 Complex number is a subclass of number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 874-874
No TPTP formula. May not be expressible in strict first order. english_format.kif 950-950
No TPTP formula. May not be expressible in strict first order. french_format.kif 550-550
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 80-80
No TPTP formula. May not be expressible in strict first order. terms-it.txt 83-83
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2235-2235
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 502-502
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 117-117
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 571-571
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 84-84

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4908-4908 The number 1 argument of imaginary part is an instance of complex number

appearance as argument number 4
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1825-1825 Number is exhaustively partitioned into real number, imaginary number, and complex number


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