No TPTP formula. May not be expressible in strict first order. |
Media.kif 2939-2939 |
AlphaNumericString 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Media.kif 2902-2902 |
AlphabeticString 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1405-1405 |
语言 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15296-15296 |
词素 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15323-15323 |
短语 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24846-24846 |
PostalAddressText 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15464-15464 |
句子 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15381-15381 |
文本 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1543-1543 |
字词 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 838-838 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 878-878 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 514-514 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 46-46 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 49-49 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2199-2199 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 466-466 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 81-81 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 535-535 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 50-50 |
|