No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1457-1457 |
DependentTaskRelation est une instance de TaskRelationAttribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1450-1450 |
IndependentTaskRelation est une sous-classe de TaskRelationAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57015-57015 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57014-57014 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57013-57013 |
|