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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LaborIssues

 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 2656-2656 Labor issues is an instance of area of concern
No TPTP formula. May not be expressible in strict first order. Government.kif 2654-2654 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 2657-2657 Promote trade unionism is a subattribute of labor issues
No TPTP formula. May not be expressible in strict first order. Government.kif 2658-2658 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 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