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
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1062-1064
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1060-1060 The number 1 argument of priority is an instance of computational system
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1061-1061 The number 2 argument of priority is an instance of priority attribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1059-1059 priority is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2059-2059
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2058-2058
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2057-2057
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47410-47410
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47409-47409
No TPTP formula. May not be expressible in strict first order. 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