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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedNationsSecretariat
UnitedNationsSecretariat(united nations secretariat)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4161-4161 The day 26 is a date established of united nations secretariat
No TPTP formula. May not be expressible in strict first order. Government.kif 4164-4168
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5687-5687
No TPTP formula. May not be expressible in strict first order. Government.kif 4158-4158 United nations secretariat is an instance of international organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4162-4162 United nations secretariat 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 4160-4160 United nations secretariat is a conventional long name of "United Nations Secretariat"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60257-60257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60256-60256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60255-60255


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