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 | IntentionalRelation est une sous-classe de InheritableRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2671-2671 | IntentionalRelation est une sous-classe de relation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22978-22978 | cohabitant est une instance de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23362-23362 | domesticPartner est une instance de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22943-22943 | friend est une instance de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2722-2722 | inScopeOfInterest est une instance de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2685-2685 | prefers est une instance de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22876-22876 | serviceProvider est une instance de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22887-22887 | serviceRecipient est une instance de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2708-2708 | Attitude d'objet est une sous-classe de IntentionalRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2694-2694 | Attitude propositionnelle est une sous-classe de IntentionalRelation |
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 |
|