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 | 例 低優先級 and 優先級屬性 |
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 |