| 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 2721-2721 | Object attitude is disjoint from propositional attitude |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1927-1928 | Object attitude is disjoint from propositional attitude |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2723-2724 | Object attitude is disjoint from propositional attitude |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 554-555 | Object attitude is disjoint from propositional attitude |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2720-2720 | Object attitude is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2719-2719 | Object attitude is a subclass of intentional relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2465-2465 | allied is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8585-8585 | dislikes is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2450-2450 | enemy is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2759-2759 | needs is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2772-2772 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 909-909 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1025-1025 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 585-585 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 115-115 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 118-118 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2270-2270 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 537-537 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 152-152 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 411-411 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 606-606 | wants is an instance of object attitude |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 119-119 | wants is an instance of object attitude |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2726-2730 |
|
|
|
|