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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AmusementParksAndArcades

 Sigma KEE - AmusementParksAndArcades
AmusementParksAndArcades

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11421-11423
No TPTP formula. May not be expressible in strict first order. naics.kif 11419-11419 AmusementParksAndArcades est un sous-attribut de AmusementGamblingAndRecreationIndustries

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11425-11425 AmusementAndThemeParks est un sous-attribut de AmusementParksAndArcades
No TPTP formula. May not be expressible in strict first order. naics.kif 11471-11471 AmusementArcades est un sous-attribut de AmusementParksAndArcades
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7350-7350
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7349-7349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7348-7348


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