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

Formal Language: 



Term 1: Term 2:

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


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