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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LaborIssues
LaborIssues(labor issues)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 11301-11301
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11315-11315
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10086-10086
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11305-11305
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11308-11308
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11306-11306
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11314-11314
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11312-11312
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11316-11316
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11310-11310
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11303-11303
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11300-11300
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11307-11307
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11313-11313
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11302-11302
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11304-11304
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11311-11311
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11309-11309
No TPTP formula. May not be expressible in strict first order. Government.kif 2692-2692 Labor issues is an instance of area of concern
No TPTP formula. May not be expressible in strict first order. Government.kif 2690-2690 Labor issues is a subattribute of economic development

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2693-2693 Promote trade unionism is a subattribute of labor issues
No TPTP formula. May not be expressible in strict first order. Government.kif 2694-2694 World labor issues is a subattribute of labor issues
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33037-33037
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33036-33036
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33035-33035


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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