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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherMotorVehicleDealers

 Sigma KEE - OtherMotorVehicleDealers
OtherMotorVehicleDealers

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7062-7064
No TPTP formula. May not be expressible in strict first order. naics.kif 7060-7060 OtherMotorVehicleDealers est un sous-attribut de MotorVehicleAndPartsDealers

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7073-7073 MotorcycleBoatAndOtherMotorVehicleDealers est un sous-attribut de OtherMotorVehicleDealers
No TPTP formula. May not be expressible in strict first order. naics.kif 7066-7066 RecreationalVehicleDealers est un sous-attribut de OtherMotorVehicleDealers
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43272-43272
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43271-43271
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43270-43270


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