No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13091-13092 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2658-2658 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13088-13088 |
Clapping e' uma sub-classe de HandGesture |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13090-13090 |
Clapping e' uma sub-classe de Impactar |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13089-13089 |
Clapping e' uma sub-classe de Som Irradiante |