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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tesla

 Sigma KEE - Tesla
Tesla

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2556-2557
No TPTP formula. May not be expressible in strict first order. Merge.kif 6984-6986
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1258-1259
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11979-11979
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11980-11980
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10288-10288
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11977-11977
No TPTP formula. May not be expressible in strict first order. Merge.kif 6981-6981 Tesla e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6982-6982 Tesla e' uma instancia de Sistema International de Unidades

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57632-57632
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57631-57631
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57630-57630


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