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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitedNationsMissionInEthiopiaAndEritrea
UnitedNationsMissionInEthiopiaAndEritrea(united nations mission in ethiopia and eritrea)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4081-4081 The day 31 is a date established of united nations mission in ethiopia and eritrea
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5816-5816
No TPTP formula. May not be expressible in strict first order. Government.kif 4078-4078 United nations mission in ethiopia and eritrea is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 4082-4082 Observation and monitoring is an organizational objective of united nations mission in ethiopia and eritrea
No TPTP formula. May not be expressible in strict first order. Government.kif 4194-4194 United nations mission in ethiopia and eritrea is a part of the organization united nations security council

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4080-4080 "UNMEE" is an abbreviation of united nations mission in ethiopia and eritrea
No TPTP formula. May not be expressible in strict first order. Government.kif 4079-4079 United nations mission in ethiopia and eritrea is a conventional long name of "United Nations Mission in Ethiopia and Eritrea"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60212-60212
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60211-60211
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60210-60210


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