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 |
O argumento numero 1 de userName e' uma instancia de UserAccount |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2061-2061 |
O argumento numero 2 de userName e' uma instancia de UserName |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2059-2059 |
userName e' uma instancia de Relacao Assimetrica |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 2058-2058 |
userName e' uma sub-relacao de names |