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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalLaborOrganization

Sigma KEE - InternationalLaborOrganization
InternationalLaborOrganization(international labor organization)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3542-3542 The day 28 is a date established of international labor organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3546-3548
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5632-5632
No TPTP formula. May not be expressible in strict first order. Government.kif 3539-3539 International labor organization is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3543-3543 World labor issues is an organizational objective of international labor organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3112-3112 International labor organization is a part of the organization economic and social council
No TPTP formula. May not be expressible in strict first order. Government.kif 3544-3544 International labor organization is a part of the organization united nations

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3541-3541 "ILO" is an abbreviation of international labor organization
No TPTP formula. May not be expressible in strict first order. Government.kif 3540-3540 International labor organization is a conventional long name of "International Labor Organization"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30619-30619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30618-30618
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30617-30617


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