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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AutomobileAndOtherMotorVehicleWholesalers

Sigma KEE - AutomobileAndOtherMotorVehicleWholesalers
AutomobileAndOtherMotorVehicleWholesalers(automobile and other motor vehicle wholesalers)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6408-6411
No TPTP formula. May not be expressible in strict first order. naics.kif 6406-6406 Automobile and other motor vehicle wholesalers is a subattribute of motor vehicle and motor vehicle parts and supplies wholesalers

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9210-9210
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9209-9209
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9208-9208


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