No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1070-1070 |
High priority is an instance of priority attribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1074-1074 |
Low priority is an instance of priority attribute |
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 |
|