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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PromoteTradeUnionism

 Sigma KEE - PromoteTradeUnionism
PromoteTradeUnionism(促进工会主义)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2693-2693 促进工会主义 是 劳工问题 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3444-3444 促进工会主义 是 国际自由工会联合会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 4329-4329 促进工会主义 是 世界劳工联合会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. Government.kif 4339-4339 促进工会主义 是 世界工会联合会 的 organizational 目标
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47750-47750
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47749-47749
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47748-47748


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