IntentionalRelation
|
|
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 22977-22977 | cohabitant is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23361-23361 | domestic partner is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22942-22942 | 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 22875-22875 | service provider is an instance of intentional relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22886-22886 | 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 |
|