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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InitialProfileFn
InitialProfileFn

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


(documentation InitialProfileFn EnglishLanguage "The function which returns as its value the initial profile of the program, i.e. a report of its execution characteristics.") QoSontology.kif 1314-1316
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1312-1312
(instance InitialProfileFn UnaryFunction) QoSontology.kif 1311-1311
(range InitialProfileFn ProcessState) QoSontology.kif 1313-1313

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


(format ChineseLanguage InitialProfileFn "%1 的 initial 总则") domainEnglishFormat.kif 1345-1345
(format ChineseTraditionalLanguage InitialProfileFn "%1 的 initial 總則") domainEnglishFormat.kif 1344-1344
(format EnglishLanguage InitialProfileFn "the initial profile of %1") domainEnglishFormat.kif 1343-1343
(termFormat ChineseLanguage InitialProfileFn "初步资料") domainEnglishFormat.kif 30133-30133
(termFormat ChineseTraditionalLanguage InitialProfileFn "初步資料") domainEnglishFormat.kif 30132-30132
(termFormat EnglishLanguage InitialProfileFn "initial profile") domainEnglishFormat.kif 30131-30131


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