No TPTP formula. May not be expressible in strict first order. |
Dining.kif 236-236 |
Braille 是 感知属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17638-17638 |
嗅觉属性 是 感知属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13596-13596 |
声音属性 是 感知属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17627-17627 |
味觉属性 是 感知属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17762-17762 |
纹理属性 是 感知属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17642-17642 |
视觉属性 是 感知属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1248-1248 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1717-1717 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 926-926 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 460-460 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 463-463 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2610-2610 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 878-878 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 499-499 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 947-947 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 464-464 |
|