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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1451-1453
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1449-1449 domain taskRelation, 1 and RealtimeSystem
(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1450-1450 domain taskRelation, 2 and TaskRelationAttribute
(instance taskRelation BinaryPredicate) QoSontology.kif 1448-1448 instance taskRelation and BinaryPredicate
(subrelation taskRelation property) QoSontology.kif 1447-1447 subrelation taskRelation and property

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


(format ChineseLanguage taskRelation "%2 describes %1 ") domainEnglishFormat.kif 4735-4735
(format ChineseTraditionalLanguage taskRelation "%2 describes %1 ") domainEnglishFormat.kif 4734-4734
(format EnglishLanguage taskRelation "%2 describes %1") domainEnglishFormat.kif 4733-4733
(termFormat ChineseLanguage taskRelation "任务关系") domainEnglishFormat.kif 56953-56953 termFormat ChineseLanguage, taskRelation and "任务关系"
(termFormat ChineseTraditionalLanguage taskRelation "任務關係") domainEnglishFormat.kif 56952-56952 termFormat ChineseTraditionalLanguage, taskRelation and "任務關係"
(termFormat EnglishLanguage taskRelation "task relation") domainEnglishFormat.kif 56951-56951 termFormat EnglishLanguage, taskRelation and "task relation"


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners