| Bare | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30200-30200 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30199-30199 | Bare e' uma instancia de Atributo Relacional |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64521-64521 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30202-30212 | Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal |
|
|
|