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 1558-1560
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1556-1556 taskRelation の数値 1 引数は RealtimeSysteminstance では
(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1557-1557 taskRelation の数値 2 引数は TaskRelationAttributeinstance では
(instance taskRelation BinaryPredicate) QoSontology.kif 1555-1555 taskRelation2進述語instance では
(subrelation taskRelation property) QoSontology.kif 1554-1554 taskRelationpropertysubrelation では

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


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


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