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 15274-15274 |
词素 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15301-15301 |
短语 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24847-24847 |
PostalAddressText 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15442-15442 |
句子 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15359-15359 |
文本 是 语言式表达 的 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 |
|