| appearance as argument number 1 |
|
| (documentation strictness EnglishLanguage "(strictness ?System ?Attribute) holds if the StrictnessAttribute ?Attribute describes the RealtimeSystem ?System.") | QoSontology.kif 1562-1564 | |
| (domain strictness 1 RealtimeSystem) | QoSontology.kif 1560-1560 | domain strictness, 1 and RealtimeSystem |
| (domain strictness 2 StrictnessAttribute) | QoSontology.kif 1561-1561 | domain strictness, 2 and StrictnessAttribute |
| (instance strictness BinaryPredicate) | QoSontology.kif 1559-1559 | instance strictness and BinaryPredicate |
| (subrelation strictness property) | QoSontology.kif 1558-1558 | subrelation strictness and property |
| 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 55519-55519 | |
| (termFormat ChineseTraditionalLanguage strictness "嚴格") | domainEnglishFormat.kif 55518-55518 | |
| (termFormat EnglishLanguage strictness "strictness") | domainEnglishFormat.kif 55517-55517 |
| 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 1600-1614 |
|
| 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 1600-1614 |
|
|
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