No TPTP formula. May not be expressible in strict first order.	Music.kif 341-341	music genre is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2595-2595	organizational objective is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 60-60
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65782-65782
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 16-16
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 75-75

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