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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImaginaryNumber

 Sigma KEE - ImaginaryNumber
ImaginaryNumber(imaginary number)pure_imaginary_number

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1739-1740
No TPTP formula. May not be expressible in strict first order. Merge.kif 1901-1902
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 347-348
No TPTP formula. May not be expressible in strict first order. Merge.kif 1899-1899 Imaginary number is a subclass of number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4909-4909 The range of imaginary part is an instance of imaginary number
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 860-860
No TPTP formula. May not be expressible in strict first order. english_format.kif 922-922
No TPTP formula. May not be expressible in strict first order. french_format.kif 536-536
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 66-66
No TPTP formula. May not be expressible in strict first order. terms-it.txt 69-69
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2221-2221
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 488-488
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 103-103
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 557-557
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 70-70

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


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