No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 198-200 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 204-204 |
O argumento numero 2 de priceRange e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 205-205 |
O argumento numero 3 de priceRange e' uma instancia de Medida de Divisa |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 206-206 |
O argumento numero 4 de priceRange e' uma instancia de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 203-203 |
O argumento numero 1 de priceRange e' uma sub-classe de Entidade |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 197-197 |
priceRange e' uma instancia de Predicado Quaternario |