| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17668-17668 |
例 發光的 and VisualAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15134-15134 |
例 Translucent and VisualAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15118-15118 |
例 透明 and VisualAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17673-17673 |
例 無光的 and VisualAttribute |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17682-17682 |
子類 ColorAttribute and VisualAttribute |
| No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1876-1876 |
子類 GUElementState and VisualAttribute |
| 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 |
|
VisualAttribute