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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PromotionOfTourism

Sigma KEE - PromotionOfTourism
PromotionOfTourism(促进旅游业)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2681-2681 促进旅游业经济发展subAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4369-4369 促进旅游业世界旅游组织organizational 目标
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47768-47768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47767-47767
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47766-47766


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