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 Le nombre 1 argument de taskRelation est une instance de RealtimeSystem
(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1445-1445 Le nombre 2 argument de taskRelation est une instance de TaskRelationAttribute
(instance taskRelation BinaryPredicate) QoSontology.kif 1443-1443 taskRelation est une instance de pr�dicat binaire
(subrelation taskRelation property) QoSontology.kif 1442-1442 taskRelation est une sous-relation de property

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