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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TireRetreading

 Sigma KEE - TireRetreading
TireRetreading(tire retreading)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3652-3654
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8758-8758
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9732-9732
No TPTP formula. May not be expressible in strict first order. naics.kif 3650-3650 Tire retreading is a subattribute of tire manufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58190-58190
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58189-58189
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58188-58188


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