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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JointForcesLandCommander

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 優先, 1 and 計算系統
(domain priority 2 PriorityAttribute) QoSontology.kif 1061-1061 優先, 2 and 優先級屬性
(instance priority BinaryPredicate) QoSontology.kif 1059-1059 優先 and BinaryPredicate

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 47410-47410
(termFormat ChineseTraditionalLanguage priority "優先") domainEnglishFormat.kif 47409-47409
(termFormat EnglishLanguage priority "priority") domainEnglishFormat.kif 47408-47408


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