No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1070-1070 |
例 高度優先 and 優先級屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1074-1074 |
例 低優先級 and 優先級屬性 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47414-47414 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47413-47413 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47412-47412 |
|