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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EducationalCooperation
EducationalCooperation(educational cooperation)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2724-2724 Educational cooperation is a subattribute of information cooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2720-2720 Educational cooperation is a subattribute of social cooperation

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3929-3929 Educational cooperation is an organizational objective of united nations educational scientific and cultural organization
No TPTP formula. May not be expressible in strict first order. Government.kif 4035-4035 Educational cooperation is an organizational objective of united nations institute for training and research
No TPTP formula. May not be expressible in strict first order. Government.kif 4003-4003 Educational cooperation is an organizational objective of united nations interregional crime and justice research institute
No TPTP formula. May not be expressible in strict first order. Government.kif 4015-4015 Educational cooperation is an organizational objective of united nations system staff college
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21258-21258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21257-21257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21256-21256


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