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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AutomotiveRepairAndMaintenance

Sigma KEE - AutomotiveRepairAndMaintenance
AutomotiveRepairAndMaintenance(automotive repair and maintenance)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11724-11726
No TPTP formula. May not be expressible in strict first order. naics.kif 11722-11722 Automotive repair and maintenance is a subattribute of repair and maintenance

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


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
No TPTP formula. May not be expressible in strict first order. naics.kif 11728-11728 Automotive mechanical and electrical repair and maintenance is a subattribute of automotive repair and maintenance
No TPTP formula. May not be expressible in strict first order. naics.kif 11785-11785 Other automotive repair and maintenance is a subattribute of automotive repair and maintenance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9288-9288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9287-9287
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9286-9286


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