| 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 24638-24638 | cohabitant is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25022-25022 | domestic partner is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24603-24603 | 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 24536-24536 | service provider is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24547-24547 | 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 30413-30413 | Propositional attitude is a subclass of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30412-30412 | Propositional attitude is a subclass of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30411-30411 | Propositional attitude is a subclass of intentional relation |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2673-2678 |
|
|
|
|