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

Formal Language: 



KB Term:  Term intersection
English Word: 

  priority

Sigma KEE - priority
priority

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


(documentation priority EnglishLanguage "(priority ?SYSTEM ?QUANTITY) means that the priority of the ?SYSTEM is characterized by a PriorityAttribute, such as HighPriority or LowPriority.") QoSontology.kif 1062-1064
(domain priority 1 ComputationalSystem) QoSontology.kif 1060-1060 The number 1 argument of priority is an instance of computational system
(domain priority 2 PriorityAttribute) QoSontology.kif 1061-1061 The number 2 argument of priority is an instance of priority attribute
(instance priority BinaryPredicate) QoSontology.kif 1059-1059 priority is an instance of binary predicate

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


(format ChineseLanguage priority "%2 %n 是 %1 的 priority ") domainEnglishFormat.kif 2059-2059
(format ChineseTraditionalLanguage priority "%2 %n 是 %1 的 priority ") domainEnglishFormat.kif 2058-2058
(format EnglishLanguage priority "%2 is %n a priority of %1") domainEnglishFormat.kif 2057-2057
(termFormat ChineseLanguage priority "优先") domainEnglishFormat.kif 47408-47408
(termFormat ChineseTraditionalLanguage priority "優先") domainEnglishFormat.kif 47407-47407
(termFormat EnglishLanguage priority "priority") domainEnglishFormat.kif 47406-47406


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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