| appearance as argument number 1 |
|
| (documentation strictness EnglishLanguage "(strictness ?System ?Attribute) holds if the StrictnessAttribute ?Attribute describes the RealtimeSystem ?System.") | QoSontology.kif 1557-1559 | |
| (domain strictness 1 RealtimeSystem) | QoSontology.kif 1555-1555 | Le nombre 1 argument de strictness est une instance de RealtimeSystem |
| (domain strictness 2 StrictnessAttribute) | QoSontology.kif 1556-1556 | Le nombre 2 argument de strictness est une instance de StrictnessAttribute |
| (instance strictness BinaryPredicate) | QoSontology.kif 1554-1554 | strictness est une instance de pr�dicat binaire |
| (subrelation strictness property) | QoSontology.kif 1553-1553 | strictness est une sous-relation de property |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage strictness "%1 有 strictness %2 ") | domainEnglishFormat.kif 4658-4658 | |
| (format ChineseTraditionalLanguage strictness "%1 有 strictness %2 ") | domainEnglishFormat.kif 4657-4657 | |
| (format EnglishLanguage strictness "%1 has strictness %2") | domainEnglishFormat.kif 4656-4656 | |
| (termFormat ChineseLanguage strictness "严格") | domainEnglishFormat.kif 55626-55626 | |
| (termFormat ChineseTraditionalLanguage strictness "嚴格") | domainEnglishFormat.kif 55625-55625 | |
| (termFormat EnglishLanguage strictness "strictness") | domainEnglishFormat.kif 55624-55624 |
| antecedent |
|
|
| (=> (strictness ?System HybridStrictness) (or (and (strictness ?System ImportanceStrictness) (strictness ?System UtilityStrictness)) (and (strictness ?System ImportanceStrictness) (strictness ?System HardStrictness)) (and (strictness ?System ImportanceStrictness) (strictness ?System FirmStrictness)) (and (strictness ?System Importance-Strictness) (strictness ?System SoftStrictness)))) |
QoSontology.kif 1595-1609 |
|
| consequent |
|
|
| (=> (strictness ?System HybridStrictness) (or (and (strictness ?System ImportanceStrictness) (strictness ?System UtilityStrictness)) (and (strictness ?System ImportanceStrictness) (strictness ?System HardStrictness)) (and (strictness ?System ImportanceStrictness) (strictness ?System FirmStrictness)) (and (strictness ?System Importance-Strictness) (strictness ?System SoftStrictness)))) |
QoSontology.kif 1595-1609 |
|
|
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