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 Il numero 1 argomenti di priority è un istanza di ComputationalSystem
(domain priority 2 PriorityAttribute) QoSontology.kif 1061-1061 Il numero 2 argomenti di priority è un istanza di PriorityAttribute
(instance priority BinaryPredicate) QoSontology.kif 1059-1059 priority è un' istanza di PredicatoBinario

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