| appearance as argument number 1 |
|
| (documentation strictness EnglishLanguage "(strictness ?System ?Attribute) holds if the StrictnessAttribute ?Attribute describes the RealtimeSystem ?System.") | QoSontology.kif 1552-1554 | |
| (domain strictness 1 RealtimeSystem) | QoSontology.kif 1550-1550 | strictness の数値 1 引数は RealtimeSystem の instance では %n |
| (domain strictness 2 StrictnessAttribute) | QoSontology.kif 1551-1551 | strictness の数値 2 引数は StrictnessAttribute の instance では %n |
| (instance strictness BinaryPredicate) | QoSontology.kif 1549-1549 | strictness は 2進述語 の instance では %n |
| (subrelation strictness property) | QoSontology.kif 1548-1548 | strictness は property の subrelation では %n |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage strictness "%1 有 strictness %2 ") | domainEnglishFormat.kif 4663-4663 | |
| (format ChineseTraditionalLanguage strictness "%1 有 strictness %2 ") | domainEnglishFormat.kif 4662-4662 | |
| (format EnglishLanguage strictness "%1 has strictness %2") | domainEnglishFormat.kif 4661-4661 | |
| (termFormat ChineseLanguage strictness "严格") | domainEnglishFormat.kif 55567-55567 | termFormat ChineseLanguage, strictness and "严格" |
| (termFormat ChineseTraditionalLanguage strictness "嚴格") | domainEnglishFormat.kif 55566-55566 | termFormat ChineseTraditionalLanguage, strictness and "嚴格" |
| (termFormat EnglishLanguage strictness "strictness") | domainEnglishFormat.kif 55565-55565 | termFormat EnglishLanguage, strictness and "strictness" |
| antecedent |
|
|
| (=> (strictness ?System Hybrid-Strictness) (or (and (strictness ?System Importance-Strictness) (strictness ?System Utility-Strictness)) (and (strictness ?System Importance-Strictness) (strictness ?System Hard-Strictness)) (and (strictness ?System Importance-Strictness) (strictness ?System Firm-Strictness)) (and (strictness ?System Importance-Strictness) (strictness ?System Soft-Strictness)))) |
QoSontology.kif 1590-1604 |
|
| consequent |
|
|
| (=> (strictness ?System Hybrid-Strictness) (or (and (strictness ?System Importance-Strictness) (strictness ?System Utility-Strictness)) (and (strictness ?System Importance-Strictness) (strictness ?System Hard-Strictness)) (and (strictness ?System Importance-Strictness) (strictness ?System Firm-Strictness)) (and (strictness ?System Importance-Strictness) (strictness ?System Soft-Strictness)))) |
QoSontology.kif 1590-1604 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners