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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dataID

 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
(domain dataID 2 SymbolicString) QoSontology.kif 879-879
(instance dataID BinaryPredicate) QoSontology.kif 877-877

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 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