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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AutomotiveBodyPaintInteriorAndGlassRepair

Sigma KEE - AutomotiveBodyPaintInteriorAndGlassRepair
AutomotiveBodyPaintInteriorAndGlassRepair(automotive body paint interior and glass repair)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11765-11768
No TPTP formula. May not be expressible in strict first order. naics.kif 11763-11763 Automotive body paint interior and glass repair is a subattribute of automotive repair and maintenance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11770-11770 Automotive body paint and interior repair and maintenance is a subattribute of automotive body paint interior and glass repair
No TPTP formula. May not be expressible in strict first order. naics.kif 11778-11778 Automotive glass replacement shops is a subattribute of automotive body paint interior and glass repair
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9240-9240
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9239-9239
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9238-9238


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