No TPTP formula. May not be expressible in strict first order. | Merge.kif 11502-11502 | Tocar e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5700-5700 | Massaging e' uma sub-classe de Tocar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11599-11599 | Kissing e' uma sub-classe de Tocar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11624-11624 | Licking e' uma sub-classe de Tocar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11635-11635 | Embracing e' uma sub-classe de Tocar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17100-17100 | Catching e' uma sub-classe de Tocar |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11525-11525 | Grabbing e' uma sub-classe de Tocar |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11555-11555 | Impactar e' uma sub-classe de Tocar |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1534-1534 | TouchSurfaceAction e' uma sub-classe de Tocar |
![]() |