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 6985-6987
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 6982-6982 Tesla e' uma instancia de CompositeUnitOfMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 6983-6983 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 57634-57634
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57633-57633
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57632-57632


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