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


KB Term:  Term intersection
English Word: 

Sigma KEE - InitialProfileFn
InitialProfileFn

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


(instance InitialProfileFn UnaryFunction) QoSontology.kif 1413-1413 Initial profile is an instance of unary function
(domain InitialProfileFn 1 ComputerProgram) QoSontology.kif 1414-1414 The number 1 argument of initial profile is an instance of computer program
(range InitialProfileFn ProcessState) QoSontology.kif 1415-1415 The range of initial profile is an instance of process state
(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 1416-1418 The range of initial profile is an instance of process state

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners