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

Formal Language: 



KB Term:  Term intersection
English Word: 

  thresholdOf

Sigma KEE - thresholdOf
thresholdOf

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


(domain thresholdOf 1 Computer) QoSontology.kif 1034-1034 Die Zahl 1 Argument von thresholdOf ist ein fall von Computer %n{nicht}
(domain thresholdOf 2 PositiveRealNumber) QoSontology.kif 1035-1035 Die Zahl 2 Argument von thresholdOf ist ein fall von PositiveRealNumber %n{nicht}
(instance thresholdOf BinaryPredicate) QoSontology.kif 1033-1033 thresholdOf ist ein fall von BinaryPredicate %n{nicht}

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 57922-57922
(termFormat ChineseTraditionalLanguage thresholdOf "的門檻") domainEnglishFormat.kif 57921-57921
(termFormat EnglishLanguage thresholdOf "threshold of") domainEnglishFormat.kif 57920-57920


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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