|
|
  Bare
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30164-30164 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30163-30163 | 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 64519-64519 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30166-30176 | 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 |
|
|
|