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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Slug

 Sigma KEE - Slug
Slug(金屬塊)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2609-2609
No TPTP formula. May not be expressible in strict first order. Merge.kif 7302-7302
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1322-1322
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6866-6866
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7883-7883
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7884-7884
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7885-7885
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7886-7886
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7887-7887
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7888-7888
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7893-7893
No TPTP formula. May not be expressible in strict first order. Merge.kif 7300-7300 例 金屬塊 and UnitOfMass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53462-53462
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53461-53461
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53460-53460

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7304-7306 等於 測量 RealNumber and 金屬塊 and 測量 乘法 RealNumber and 14593.90 and 公克


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