|
|
   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 2673-2675 | |
| (documentation IntentionalRelation JapaneseLanguage "Agent と1つ以上の Entities の間の Agent の Class は Agent が Entity の認識を持っていることを Relation が要求する。") | japanese_format.kif 547-548 | |
| (subclass IntentionalRelation InheritableRelation) | Merge.kif 2670-2670 | |
| (subclass IntentionalRelation Relation) | Merge.kif 2671-2671 |
| appearance as argument number 2 |
|
|
| (instance cohabitant IntentionalRelation) | Mid-level-ontology.kif 23030-23030 | |
| (instance domesticPartner IntentionalRelation) | Mid-level-ontology.kif 23414-23414 | |
| (instance friend IntentionalRelation) | Mid-level-ontology.kif 22995-22995 | |
| (instance inScopeOfInterest IntentionalRelation) | Merge.kif 2722-2722 | |
| (instance prefers IntentionalRelation) | Merge.kif 2685-2685 | |
| (instance serviceProvider IntentionalRelation) | Mid-level-ontology.kif 22928-22928 | |
| (instance serviceRecipient IntentionalRelation) | Mid-level-ontology.kif 22939-22939 | |
| (subclass ObjectAttitude IntentionalRelation) | Merge.kif 2708-2708 | |
| (subclass PropositionalAttitude IntentionalRelation) | Merge.kif 2694-2694 | |
| (termFormat ChineseLanguage IntentionalRelation "有意图的关系") | domainEnglishFormat.kif 30385-30385 | |
| (termFormat ChineseTraditionalLanguage IntentionalRelation "有意圖的關係") | domainEnglishFormat.kif 30384-30384 | |
| (termFormat EnglishLanguage IntentionalRelation "intentional relation") | domainEnglishFormat.kif 30383-30383 |
| antecedent |
|
|
| (=> (and (instance ?REL IntentionalRelation) (?REL ?AGENT @ROW) (inList ?OBJ (ListFn @ROW))) (inScopeOfInterest ?AGENT ?OBJ)) |
Merge.kif 2677-2682 |
|
|
|