No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15900-15901 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6667-6667 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7182-7182 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7183-7183 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7184-7184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15898-15898 |
Lecture e' uma sub-classe de Demonstrating |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15899-15899 |
Lecture e' uma sub-classe de Speaking |