|
|
  LowPriority
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1075-1076 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1074-1074 | Low priority is an instance of priority attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35201-35201 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35200-35200 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35199-35199 |
|
|
|