No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2062-2064 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2060-2060 |
userName 的 1 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2061-2061 |
userName 的 2 数量 是 用户名 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2059-2059 |
userName 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2058-2058 |
userName 是 命名 的 subrelation |