No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 410-412 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 416-416 |
Le nombre 2 argument de productPrice est une instance de mesure de devise |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 417-417 |
Le nombre 3 argument de productPrice est une instance de agent cognitif |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 415-415 |
Le nombre 1 argument de productPrice est une sous-classe de entit� |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 409-409 |
productPrice est une instance de pr�dicat ternaire |