No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1478-1491 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11901-11901 |
Vender e' uma sub-classe de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 328-328 |
Auctioning e' uma sub-classe de Vender |