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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AmusementGamblingAndRecreationIndustries
AmusementGamblingAndRecreationIndustries

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11415-11417
No TPTP formula. May not be expressible in strict first order. Economy.kif 1905-1905 AmusementGamblingAndRecreationIndustries est reli� � l'int�rieur de SUMO � TourismIndustry
No TPTP formula. May not be expressible in strict first order. naics.kif 11413-11413 AmusementGamblingAndRecreationIndustries est un sous-attribut de ArtsEntertainmentAndRecreation

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11419-11419 AmusementParksAndArcades est un sous-attribut de AmusementGamblingAndRecreationIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11477-11477 GamblingIndustries est un sous-attribut de AmusementGamblingAndRecreationIndustries
No TPTP formula. May not be expressible in strict first order. naics.kif 11507-11507 OtherAmusementAndRecreationIndustries est un sous-attribut de AmusementGamblingAndRecreationIndustries
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7344-7344
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7343-7343
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7342-7342

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 11456-11468


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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