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 2673-2675 | |
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 2670-2670 | Intentional relation is a subclass of inheritable relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2671-2671 | 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 22978-22978 | cohabitant is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23362-23362 | domestic partner is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22943-22943 | friend is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2722-2722 | in scope of interest is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2685-2685 | prefers is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22876-22876 | service provider is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22887-22887 | service recipient is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2708-2708 | Object attitude is a subclass of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2694-2694 | Propositional attitude is a subclass of intentional relation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30385-30385 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30384-30384 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30383-30383 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2677-2682 |
|