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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Measuring

 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 1552-1554
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1550-1550
(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1551-1551
(instance taskRelation BinaryPredicate) QoSontology.kif 1549-1549
(subrelation taskRelation property) QoSontology.kif 1548-1548

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 57042-57042
(termFormat ChineseTraditionalLanguage taskRelation "任務關係") domainEnglishFormat.kif 57041-57041
(termFormat EnglishLanguage taskRelation "task relation") domainEnglishFormat.kif 57040-57040


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