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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Utility-Strictness
Utility-Strictness

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


(termFormat ChineseLanguage Utility-Strictness "实用性严格") domainEnglishFormat.kif 61094-61094
(termFormat ChineseTraditionalLanguage Utility-Strictness "實用性嚴格") domainEnglishFormat.kif 61093-61093
(termFormat EnglishLanguage Utility-Strictness "utility- strictness") domainEnglishFormat.kif 61092-61092


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