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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - thresholdOf
thresholdOf

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


(domain thresholdOf 1 Computer) QoSontology.kif 1140-1140 The number 1 argument of threshold of is an instance of computer
(domain thresholdOf 2 PositiveRealNumber) QoSontology.kif 1141-1141 The number 2 argument of threshold of is an instance of positive real number
(instance thresholdOf BinaryPredicate) QoSontology.kif 1139-1139 threshold of is an instance of binary predicate

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


(format ChineseLanguage thresholdOf "%2 %n 是 %1 的 threshold ") domainEnglishFormat.kif 2471-2471
(format ChineseTraditionalLanguage thresholdOf "%2 %n 是 %1 的 threshold ") domainEnglishFormat.kif 2470-2470
(format EnglishLanguage thresholdOf "%2 is %n a threshold of %1") domainEnglishFormat.kif 2469-2469
(termFormat ChineseLanguage thresholdOf "的门槛") domainEnglishFormat.kif 57959-57959
(termFormat ChineseTraditionalLanguage thresholdOf "的門檻") domainEnglishFormat.kif 57958-57958
(termFormat EnglishLanguage thresholdOf "threshold of") domainEnglishFormat.kif 57957-57957


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