| appearance as argument number 1 |
|
| (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 645-647 | |
| (domain criticalityLevel 1 ComputerProgram) | QoSontology.kif 643-643 | The number 1 argument of criticality level is an instance of computer program |
| (domain criticalityLevel 2 Integer) | QoSontology.kif 644-644 | The number 2 argument of criticality level is an instance of integer |
| (instance criticalityLevel BinaryPredicate) | QoSontology.kif 642-642 | criticality level is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage criticalityLevel "%2 %n 是 %1 的 criticality 等级") | domainEnglishFormat.kif 588-588 | |
| (format ChineseTraditionalLanguage criticalityLevel "%2 %n 是 %1 的 criticality 等級") | domainEnglishFormat.kif 587-587 | |
| (format EnglishLanguage criticalityLevel "%2 is %n a criticality level of %1") | domainEnglishFormat.kif 586-586 | |
| (termFormat ChineseLanguage criticalityLevel "临界水平") | domainEnglishFormat.kif 17866-17866 | |
| (termFormat ChineseTraditionalLanguage criticalityLevel "臨界水平") | domainEnglishFormat.kif 17865-17865 | |
| (termFormat EnglishLanguage criticalityLevel "criticality level") | domainEnglishFormat.kif 17864-17864 |
|
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