Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass StrictnessAttribute TimingRequirementAttribute) QoSontology.kif 1547-1547 StrictnessAttribute est une sous-classe de TimingRequirementAttribute
(subclass HardStrictness StrictnessAttribute) QoSontology.kif 1561-1561 HardStrictness est une sous-classe de StrictnessAttribute
(subclass FirmStrictness StrictnessAttribute) QoSontology.kif 1565-1565 FirmStrictness est une sous-classe de StrictnessAttribute
(subclass SoftStrictness StrictnessAttribute) QoSontology.kif 1570-1570 SoftStrictness est une sous-classe de StrictnessAttribute
(subclass ImportanceStrictness StrictnessAttribute) QoSontology.kif 1577-1577 ImportanceStrictness est une sous-classe de StrictnessAttribute
(subclass UtilityStrictness StrictnessAttribute) QoSontology.kif 1582-1582 UtilityStrictness est une sous-classe de StrictnessAttribute
(subclass HybridStrictness StrictnessAttribute) QoSontology.kif 1589-1589 HybridStrictness est une sous-classe de StrictnessAttribute


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