No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18221-18221 |
记忆 是 学习 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1144-1144 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1505-1505 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 822-822 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 354-354 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 357-357 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2506-2506 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 774-774 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 359-359 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 393-393 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 843-843 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 358-358 |
|