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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImaginaryNumber

 Sigma KEE - ImaginaryNumber
ImaginaryNumber

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 子類 ImaginaryNumber and Number

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4910-4910 範圍 想像的部分 and ImaginaryNumber
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, RealNumber, ImaginaryNumber and ComplexNumber


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