No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2710-2710 |
Attitude d'objet est disjoint de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2807-2807 |
believes est une instance de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2797-2797 |
considers est une instance de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2784-2784 |
desires est une instance de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7463-7463 |
disapproves est une instance de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7435-7435 |
doubts est une instance de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2823-2823 |
knows est une instance de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2843-2843 |
says est une instance de attitude propositionnelle |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 908-908 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1023-1023 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 584-584 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 114-114 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 117-117 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2269-2269 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 536-536 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 151-151 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 605-605 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 118-118 |
|