No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1070-1070 |
HighPriority e' uma instancia de PriorityAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1074-1074 |
LowPriority e' uma instancia de PriorityAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47416-47416 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47415-47415 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47414-47414 |
|