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 1446-1448
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1444-1444 taskRelation の数値 1 引数は RealtimeSysteminstance では %n
(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1445-1445 taskRelation の数値 2 引数は TaskRelationAttributeinstance では %n
(instance taskRelation BinaryPredicate) QoSontology.kif 1443-1443 taskRelation2進述語instance では %n
(subrelation taskRelation property) QoSontology.kif 1442-1442 taskRelationpropertysubrelation では %n

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 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