| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17668-17668 |
发光的 是 视觉属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15134-15134 |
Translucent 是 视觉属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15118-15118 |
透明 是 视觉属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17673-17673 |
无光的 是 视觉属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17682-17682 |
颜色属性 是 视觉属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1876-1876 |
GUElementState 是 视觉属性 的 subclass |
| 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