| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11160-11160 | Ambulating e' uma sub-classe de Movimento do Corpo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11161-11161 | Ambulating e' uma sub-classe de Processo Intencional |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11162-11162 | Ambulating e' uma sub-classe de Translocation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11169-11169 | Andar e' uma sub-classe de Ambulating |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11174-11174 | Running e' uma sub-classe de Ambulating |
|
|