|
|
   PriorityAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1067-1068 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1066-1066 | PriorityAttribute e' uma sub-classe de Atributo Relacional |
| appearance as argument number 2 |
|
|
| 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 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 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1061-1061 | O argumento numero 2 de priority e' uma instancia de PriorityAttribute |
|
|
|