No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18337-18337 |
Psychological attribute is exhaustively partitioned into state of mind and trait attribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 79-79 |
Appraisal is a subclass of state of mind |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18373-18373 |
Consciousness attribute is a subclass of state of mind |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18369-18369 |
Emotional state is a subclass of state of mind |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1263-1263 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1747-1747 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 941-941 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 477-477 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 480-480 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2625-2625 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 893-893 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 962-962 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 481-481 |
|