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



KB Term:  Term intersection
English Word: 

Sigma KEE - taskRelation
taskRelation

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


(subrelation taskRelation property) QoSontology.kif 1547-1547 task relation is a subrelation of property
(instance taskRelation BinaryPredicate) QoSontology.kif 1548-1548 task relation is an instance of binary predicate
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1549-1549 The number 1 argument of task relation is an instance of realtime system
(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1550-1550 The number 2 argument of task relation is an instance of task relation attribute
(documentation taskRelation EnglishLanguage "(taskRelation ?System ?Attribute) holds if ?Attribute is a TaskRelationAttribute which describes the RealtimeSystem ?System.") QoSontology.kif 1551-1553 The number 2 argument of task relation is an instance of task relation attribute

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


(format EnglishLanguage taskRelation "%2 describes %1") domainEnglishFormat.kif 4732-4732
(format ChineseTraditionalLanguage taskRelation "%2 describes %1 ") domainEnglishFormat.kif 4733-4733
(format ChineseLanguage taskRelation "%2 describes %1 ") domainEnglishFormat.kif 4734-4734
(termFormat EnglishLanguage taskRelation "task relation") domainEnglishFormat.kif 57002-57002
(termFormat ChineseTraditionalLanguage taskRelation "任務關係") domainEnglishFormat.kif 57003-57003
(termFormat ChineseLanguage taskRelation "任务关系") domainEnglishFormat.kif 57004-57004


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-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners