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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TaskRelationAttribute
TaskRelationAttribute(task relation attribute)

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


(documentation TaskRelationAttribute EnglishLanguage "This is a subclass of RealtimeSystemAttribute, which includes Independent-TaskRelation and Dependent-TaskRelation.") QoSontology.kif 1438-1440
(subclass TaskRelationAttribute RealtimeSystemAttribute) QoSontology.kif 1437-1437 Task relation attribute is a subclass of realtime system attribute

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


(instance DependentTaskRelation TaskRelationAttribute) QoSontology.kif 1457-1457 DependentTaskRelation is an instance of task relation attribute
(subclass IndependentTaskRelation TaskRelationAttribute) QoSontology.kif 1450-1450 IndependentTaskRelation is a subclass of task relation attribute
(termFormat ChineseLanguage TaskRelationAttribute "任务关系属性") domainEnglishFormat.kif 57013-57013
(termFormat ChineseTraditionalLanguage TaskRelationAttribute "任務關係屬性") domainEnglishFormat.kif 57012-57012
(termFormat EnglishLanguage TaskRelationAttribute "task relation attribute") domainEnglishFormat.kif 57011-57011

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


(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1445-1445 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 is open source software produced by Articulate Software and its partners