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


KB Term:  Term intersection
English Word: 

  FaxMachine

 Sigma KEE - taskRelation
taskRelation

appearance as argument number 1
-------------------------


(subrelation taskRelation property) QoSontology.kif 1547-1547 task relation is a subrelation of property
(instance taskRelation BinaryPredicate) QoSontology.kif 1548-1548 task relation is an instance of binary predicate
(domain taskRelation 1 RealtimeSystem) QoSontology.kif 1549-1549 The number 1 argument of task relation is an instance of realtime system
(domain taskRelation 2 TaskRelationAttribute) QoSontology.kif 1550-1550 The number 2 argument of task relation is an instance of task relation attribute
(documentation taskRelation EnglishLanguage "(taskRelation ?System ?Attribute) holds if ?Attribute is a TaskRelationAttribute which describes the RealtimeSystem ?System.") QoSontology.kif 1551-1553 The number 2 argument of task relation is an instance of task relation attribute

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners