| IntentionalRelation | |
| appearance as argument number 1 |
|
|
| (documentation IntentionalRelation ChineseLanguage "这是 Agent 和一个或以上的 Entity 之间 的 Relation Class，这个 Relation 要求 Agent 对 Entity 有认知。") | chinese_format.kif 1920-1921 | |
| (documentation IntentionalRelation EnglishLanguage "The Class of Relations between an AutonomousAgent and one or more Entities, where the Relation requires that the AutonomousAgent have awareness of the Entity.") | Merge.kif 2669-2671 | |
| (documentation IntentionalRelation JapaneseLanguage "Agent と1つ以上の Entities の間の Agent の Class は Agent が Entity の認識を持っていることを Relation が要求する。") | japanese_format.kif 547-548 | |
| (subclass IntentionalRelation InheritableRelation) | Merge.kif 2666-2666 | |
| (subclass IntentionalRelation Relation) | Merge.kif 2667-2667 |
| appearance as argument number 2 |
|
|
| (instance cohabitant IntentionalRelation) | Mid-level-ontology.kif 24638-24638 | |
| (instance domesticPartner IntentionalRelation) | Mid-level-ontology.kif 25022-25022 | |
| (instance friend IntentionalRelation) | Mid-level-ontology.kif 24603-24603 | |
| (instance inScopeOfInterest IntentionalRelation) | Merge.kif 2718-2718 | |
| (instance prefers IntentionalRelation) | Merge.kif 2681-2681 | |
| (instance serviceProvider IntentionalRelation) | Mid-level-ontology.kif 24536-24536 | |
| (instance serviceRecipient IntentionalRelation) | Mid-level-ontology.kif 24547-24547 | |
| (subclass ObjectAttitude IntentionalRelation) | Merge.kif 2704-2704 | |
| (subclass PropositionalAttitude IntentionalRelation) | Merge.kif 2690-2690 | |
| (termFormat ChineseLanguage IntentionalRelation "有意图的关系") | domainEnglishFormat.kif 30413-30413 | |
| (termFormat ChineseTraditionalLanguage IntentionalRelation "有意圖的關係") | domainEnglishFormat.kif 30412-30412 | |
| (termFormat EnglishLanguage IntentionalRelation "intentional relation") | domainEnglishFormat.kif 30411-30411 |
| antecedent |
|
|
| (=> (and (instance ?REL IntentionalRelation) (?REL ?AGENT @ROW) (inList ?OBJ (ListFn @ROW))) (inScopeOfInterest ?AGENT ?OBJ)) |
Merge.kif 2673-2678 |
|
|
|