Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TaskRelationAttribute
TaskRelationAttribute(task relation attribute)

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


(subclass TaskRelationAttribute RealtimeSystemAttribute) QoSontology.kif 1542-1542 Task relation attribute is a subclass of realtime system attribute
(documentation TaskRelationAttribute EnglishLanguage "This is a subclass of RealtimeSystemAttribute, which includes Independent_TaskRelation and Dependent_TaskRelation.") QoSontology.kif 1543-1545 Task relation attribute is a subclass of realtime system attribute

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


(subclass IndependentTaskRelation TaskRelationAttribute) QoSontology.kif 1555-1555 Independent task relation is a subclass of task relation attribute
(instance DependentTaskRelation TaskRelationAttribute) QoSontology.kif 1563-1563 Dependent task relation is an instance of task relation attribute
(termFormat EnglishLanguage TaskRelationAttribute "task relation attribute") domainEnglishFormat.kif 57008-57008 Dependent task relation is an instance of task relation attribute
(termFormat ChineseTraditionalLanguage TaskRelationAttribute "任務關係屬性") domainEnglishFormat.kif 57009-57009 Dependent task relation is an instance of task relation attribute
(termFormat ChineseLanguage TaskRelationAttribute "任务关系属性") domainEnglishFormat.kif 57010-57010 Dependent task relation is an instance of task relation attribute

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


(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1550-1550 The number 2 argument of task relation is an instance of task relation 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners