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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TaskRelationAttribute
TaskRelationAttribute

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

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


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

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


(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1445-1445


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