| ObjectAttitude(object attitude) | | Graecophile, Graecophilic, misanthropic, misanthropical, misogynistic, misogynous, philhellene, philhellenic |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2615-2615 | Object attitude is disjoint from propositional attitude |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1927-1928 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2617-2618 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2614-2614 | Object attitude is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2613-2613 | Object attitude is a subclass of intentional relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6445-6445 | dislikes is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2429-2429 | enemy is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2653-2653 | needs is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2666-2666 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 909-909 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1030-1030 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2620-2624 |
|
|
|
|