Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| criticalityLevel |
| appearance as argument number 1 |
|
| (instance criticalityLevel BinaryPredicate) | QoSontology.kif 737-737 | criticality level is an instance of binary predicate |
| (domain criticalityLevel 1 ComputerProgram) | QoSontology.kif 738-738 | The number 1 argument of criticality level is an instance of computer program |
| (domain criticalityLevel 2 Integer) | QoSontology.kif 739-739 | The number 2 argument of criticality level is an instance of integer |
| (documentation criticalityLevel EnglishLanguage "(criticalityLevel ?PROGRAM ?INTEGER) holds just in case ?INTEGER indicates the relative priority of ?PROGRAM with respect to other applications within the SoftwareSystem.") | QoSontology.kif 740-742 | The number 2 argument of criticality level is an instance of integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage criticalityLevel "%2 is %n a criticality level of %1") | domainEnglishFormat.kif 586-586 | |
| (format ChineseTraditionalLanguage criticalityLevel "%2 %n 是 %1 的 criticality 等級") | domainEnglishFormat.kif 587-587 | |
| (format ChineseLanguage criticalityLevel "%2 %n 是 %1 的 criticality 等级") | domainEnglishFormat.kif 588-588 | |
| (termFormat EnglishLanguage criticalityLevel "criticality level") | domainEnglishFormat.kif 17850-17850 | |
| (termFormat ChineseTraditionalLanguage criticalityLevel "臨界水平") | domainEnglishFormat.kif 17851-17851 | |
| (termFormat ChineseLanguage criticalityLevel "临界水平") | domainEnglishFormat.kif 17852-17852 |
|