No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17668-17668 |
Illuminated e' uma instancia de Atributo Visual |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15134-15134 |
Translucent e' uma instancia de Atributo Visual |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15118-15118 |
Transparent e' uma instancia de Atributo Visual |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17673-17673 |
Unilluminated e' uma instancia de Atributo Visual |
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 |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1251-1251 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1723-1723 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 929-929 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 463-463 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 466-466 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2613-2613 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 881-881 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 502-502 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 950-950 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 467-467 |
|