Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StrictnessAttribute
StrictnessAttribute(strictness attribute)

appearance as argument number 1
-------------------------


(documentation StrictnessAttribute EnglishLanguage "This is a subclass of TimingRequirementAttribute, which includes Hard_Strictness, Firm_Strictness, Soft_Strictness, Importance_Strictness, Utility_Strictness, and Hybrid_Strictness") QoSontology.kif 1654-1657
(subclass StrictnessAttribute TimingRequirementAttribute) QoSontology.kif 1653-1653 Strictness attribute is a subclass of timing requirement attribute

appearance as argument number 2
-------------------------


(subclass FirmStrictness StrictnessAttribute) QoSontology.kif 1671-1671 FirmStrictness is a subclass of strictness attribute
(subclass HardStrictness StrictnessAttribute) QoSontology.kif 1667-1667 HardStrictness is a subclass of strictness attribute
(subclass HybridStrictness StrictnessAttribute) QoSontology.kif 1695-1695 HybridStrictness is a subclass of strictness attribute
(subclass ImportanceStrictness StrictnessAttribute) QoSontology.kif 1683-1683 ImportanceStrictness is a subclass of strictness attribute
(subclass SoftStrictness StrictnessAttribute) QoSontology.kif 1676-1676 SoftStrictness is a subclass of strictness attribute
(subclass UtilityStrictness StrictnessAttribute) QoSontology.kif 1688-1688 UtilityStrictness is a subclass of strictness attribute
(termFormat ChineseLanguage StrictnessAttribute "严格属性") domainEnglishFormat.kif 55665-55665 UtilityStrictness is a subclass of strictness attribute
(termFormat ChineseTraditionalLanguage StrictnessAttribute "嚴格屬性") domainEnglishFormat.kif 55664-55664 UtilityStrictness is a subclass of strictness attribute
(termFormat EnglishLanguage StrictnessAttribute "strictness attribute") domainEnglishFormat.kif 55663-55663 UtilityStrictness is a subclass of strictness attribute

appearance as argument number 3
-------------------------


(domain strictness 2 StrictnessAttribute) QoSontology.kif 1662-1662 The number 2 argument of strictness is an instance of strictness attribute


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