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

Formal Language: 



KB Term:  Term intersection
English Word: 

  taskRelation

Sigma KEE - taskRelation
taskRelation

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


(documentation taskRelation EnglishLanguage "(taskRelation ?System ?Attribute) holds if ?Attribute is a TaskRelationAttribute which describes the RealtimeSystem ?System.") QoSontology.kif 1446-1448
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1444-1444 The number 1 argument of task relation is an instance of realtime system
(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1445-1445 The number 2 argument of task relation is an instance of task relation attribute
(instance taskRelation BinaryPredicate) QoSontology.kif 1443-1443 task relation is an instance of binary predicate
(subrelation taskRelation property) QoSontology.kif 1442-1442 task relation is a subrelation of property

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


(format ChineseLanguage taskRelation "%2 describes %1 ") domainEnglishFormat.kif 4730-4730
(format ChineseTraditionalLanguage taskRelation "%2 describes %1 ") domainEnglishFormat.kif 4729-4729
(format EnglishLanguage taskRelation "%2 describes %1") domainEnglishFormat.kif 4728-4728
(termFormat ChineseLanguage taskRelation "任务关系") domainEnglishFormat.kif 57007-57007
(termFormat ChineseTraditionalLanguage taskRelation "任務關係") domainEnglishFormat.kif 57006-57006
(termFormat EnglishLanguage taskRelation "task relation") domainEnglishFormat.kif 57005-57005


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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