| 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 2578-2580 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2575-2575 | Intentional relation is a subclass of inheritable relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2576-2576 | 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 20907-20907 | cohabitant is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21315-21315 | domestic partner is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20872-20872 | friend is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2627-2627 | in scope of interest is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2590-2590 | prefers is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20799-20799 | service provider is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20810-20810 | service recipient is an instance of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2613-2613 | Object attitude is a subclass of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2599-2599 | Propositional attitude is a subclass of intentional relation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30379-30379 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30378-30378 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30377-30377 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2582-2587 |
|
|
|
|