No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7855-7855 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10160-10160 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11541-11541 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11545-11545 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11543-11543 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11544-11544 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11547-11547 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11546-11546 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11540-11540 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11542-11542 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7854-7854 |
OfferingForSale e' uma sub-classe de Offering |