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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dataID
dataID

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


(documentation dataID EnglishLanguage "(dataID ?PROGRAM ?NUMBER) holds if ?NUMBER is a small number associated with an instance of MonitoringProgram.") QoSontology.kif 880-881
(domain dataID 1 MonitoringProgram) QoSontology.kif 878-878 The number 1 argument of dataID is an instance of monitoring program
(domain dataID 2 SymbolicString) QoSontology.kif 879-879 The number 2 argument of dataID is an instance of symbolic string
(instance dataID BinaryPredicate) QoSontology.kif 877-877 dataID is an instance of binary predicate

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


(format ChineseLanguage dataID "%2 %n %1 的 dataID ") domainEnglishFormat.kif 640-640
(format ChineseTraditionalLanguage dataID "%2 %n %1 的 dataID ") domainEnglishFormat.kif 639-639
(format EnglishLanguage dataID "%2 is %n a dataID of %1") domainEnglishFormat.kif 638-638
(termFormat ChineseLanguage dataID "dataID") domainEnglishFormat.kif 18564-18564
(termFormat ChineseTraditionalLanguage dataID "dataID") domainEnglishFormat.kif 18563-18563
(termFormat EnglishLanguage dataID "dataID") domainEnglishFormat.kif 18562-18562


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