| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17664-17664 | Atributo Visual e' uma sub-classe de Atributo de Percepcao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17682-17682 | Atributo de Cor e' uma sub-classe de Atributo Visual |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1876-1876 | GUElementState e' uma sub-classe de Atributo Visual |
|
|