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 | LowPriority est une instance de PriorityAttribute |
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 |