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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ZvornikBosniaAndHerzegovina

Sigma KEE - RecreationalAndVacationCampsExceptCampgrounds
RecreationalAndVacationCampsExceptCampgrounds(休闲和度假营,露营地除外)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11619-11622
No TPTP formula. May not be expressible in strict first order. naics.kif 11617-11617 休闲和度假营,露营地除外RV房车休闲车公园和休闲营地subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48998-48998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48997-48997
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48996-48996


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