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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BusinessProfessionalLaborPoliticalAndSimilarOrganizations

Sigma KEE - BusinessProfessionalLaborPoliticalAndSimilarOrganizations
BusinessProfessionalLaborPoliticalAndSimilarOrganizations(business professional labor political and similar organizations)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12159-12162
No TPTP formula. May not be expressible in strict first order. naics.kif 12157-12157 Business professional labor political and similar organizations is a subattribute of religious grantmaking civic professional and similar organizations

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


No TPTP formula. May not be expressible in strict first order. naics.kif 12164-12164 Business associations is a subattribute of business professional labor political and similar organizations
No TPTP formula. May not be expressible in strict first order. naics.kif 12177-12177 Labor unions and similar labor organizations is a subattribute of business professional labor political and similar organizations
No TPTP formula. May not be expressible in strict first order. naics.kif 12191-12191 Other similar organizations except business professional labor and political organizations is a subattribute of business professional labor political and similar organizations
No TPTP formula. May not be expressible in strict first order. naics.kif 12184-12184 Political industry organizations is a subattribute of business professional labor political and similar organizations
No TPTP formula. May not be expressible in strict first order. naics.kif 12170-12170 Professional organizations is a subattribute of business professional labor political and similar organizations
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12457-12457
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12456-12456
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12455-12455


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