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

Formal Language: 


KB Term:  Term intersection
English Word: 

  recordingLength

Sigma KEE - thresholdOf
thresholdOf

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


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

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


(format ChineseLanguage thresholdOf "%2 %n 是 %1 的 threshold ") domainEnglishFormat.kif 2475-2475
(format ChineseTraditionalLanguage thresholdOf "%2 %n 是 %1 的 threshold ") domainEnglishFormat.kif 2474-2474
(format EnglishLanguage thresholdOf "%2 is %n a threshold of %1") domainEnglishFormat.kif 2473-2473
(termFormat ChineseLanguage thresholdOf "的门槛") domainEnglishFormat.kif 57928-57928
(termFormat ChineseTraditionalLanguage thresholdOf "的門檻") domainEnglishFormat.kif 57927-57927
(termFormat EnglishLanguage thresholdOf "threshold of") domainEnglishFormat.kif 57926-57926


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