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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Slug

 Sigma KEE - Slug
Slug(slug)
more pictures...		slug

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 Slug is an instance of unit of mass

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 A real number slug(s) is equal to the real number and 14593.90 gram(s)


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