| IntentionalRelation(intentional relation) | | Eurocentrism, Islamophobia, alert, alive, angle, awake, awareness, bent, bias, broad-mindedness, cognisance, cognizance, connive_at, conscious, consciousness, cult_of_personality, defensive, defensive_attitude, denominationalism, devices, disapproval, disfavor, disfavour, dislike, disrespect, doghouse, dreamed, envisioned, esteem, estimate, estimation, experimenter_bias, fabricated, fancied, favor, favoritism, favour, favouritism, fictional, fictitious, hardball, incognizant, intentionality, intolerance, knowingness, leaning, localism, oblivious, orientation, paradigm... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1920-1921 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2669-2671 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 547-548 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2666-2666 | Intentional relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2667-2667 | Intentional relation is a subclass of relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24621-24621 | cohabitant is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25005-25005 | domestic partner is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24586-24586 | friend is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2718-2718 | in scope of interest is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2681-2681 | prefers is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24519-24519 | service provider is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24530-24530 | service recipient is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2704-2704 | Object attitude is a subclass of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2690-2690 | Propositional attitude is a subclass of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30396-30396 | Propositional attitude is a subclass of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30395-30395 | Propositional attitude is a subclass of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30394-30394 | Propositional attitude is a subclass of intentional relation |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2673-2678 |
|
|
|
|