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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StrictnessAttribute
StrictnessAttribute

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 1548-1551
(subclass StrictnessAttribute TimingRequirementAttribute) QoSontology.kif 1547-1547 StrictnessAttribute は TimingRequirementAttribute の subclass では %n

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


(subclass FirmStrictness StrictnessAttribute) QoSontology.kif 1565-1565 FirmStrictness は StrictnessAttribute の subclass では %n
(subclass HardStrictness StrictnessAttribute) QoSontology.kif 1561-1561 HardStrictness は StrictnessAttribute の subclass では %n
(subclass HybridStrictness StrictnessAttribute) QoSontology.kif 1589-1589 HybridStrictness は StrictnessAttribute の subclass では %n
(subclass ImportanceStrictness StrictnessAttribute) QoSontology.kif 1577-1577 ImportanceStrictness は StrictnessAttribute の subclass では %n
(subclass SoftStrictness StrictnessAttribute) QoSontology.kif 1570-1570 SoftStrictness は StrictnessAttribute の subclass では %n
(subclass UtilityStrictness StrictnessAttribute) QoSontology.kif 1582-1582 UtilityStrictness は StrictnessAttribute の subclass では %n
(termFormat ChineseLanguage StrictnessAttribute "严格属性") domainEnglishFormat.kif 55632-55632
(termFormat ChineseTraditionalLanguage StrictnessAttribute "嚴格屬性") domainEnglishFormat.kif 55631-55631
(termFormat EnglishLanguage StrictnessAttribute "strictness attribute") domainEnglishFormat.kif 55630-55630

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


(domain strictness 2 StrictnessAttribute) QoSontology.kif 1556-1556 strictness の数値 2 引数は StrictnessAttribute の instance では %n


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