No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1611-1611 |
子類 抽象級別屬性 and 時間要求屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1509-1509 |
子類 複雜屬性 and 時間要求屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1547-1547 |
子類 嚴格屬性 and 時間要求屬性 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58132-58132 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58131-58131 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58130-58130 |
|