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 Die Zahl 1 Argument von priority ist ein fall von ComputationalSystem %n{nicht}
(domain priority 2 PriorityAttribute) QoSontology.kif 1061-1061 Die Zahl 2 Argument von priority ist ein fall von PriorityAttribute %n{nicht}
(instance priority BinaryPredicate) QoSontology.kif 1059-1059 priority ist ein fall von BinaryPredicate %n{nicht}

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