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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorcycleDealers

 Sigma KEE - MotorcycleDealers
MotorcycleDealers

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


No TPTP formula. May not be expressible in strict first order. naics.kif 7081-7083
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8603-8603
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9443-9443
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9444-9444
No TPTP formula. May not be expressible in strict first order. naics.kif 7079-7079 MotorcycleDealers est un sous-attribut de MotorcycleBoatAndOtherMotorVehicleDealers

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38813-38813
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38812-38812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38811-38811


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