No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1457-1457 |
DependentTaskRelation is an instance of task relation attribute |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1450-1450 |
IndependentTaskRelation is a subclass of task relation attribute |
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 |
|