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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProfessionalOrganizations

Sigma KEE - ProfessionalOrganizations
ProfessionalOrganizations(专业组织)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12172-12175
No TPTP formula. May not be expressible in strict first order. naics.kif 12170-12170 专业组织商业专业劳工政治和类似组织subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47606-47606
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47605-47605
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47604-47604


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