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 |
Le nombre 2 argument de priceRange est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 205-205 |
Le nombre 3 argument de priceRange est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 206-206 |
Le nombre 4 argument de priceRange est une instance de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 203-203 |
Le nombre 1 argument de priceRange est une sous-classe de entit� |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 197-197 |
priceRange est une instance de pr�dicat quaternaire |