| 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 2660-2662 | |
| (documentation IntentionalRelation JapaneseLanguage "Agent と1つ以上の Entities の間の Agent の Class は Agent が Entity の認識を持っていることを Relation が要求する。") | japanese_format.kif 547-548 | |
| (subclass IntentionalRelation InheritableRelation) | Merge.kif 2657-2657 | |
| (subclass IntentionalRelation Relation) | Merge.kif 2658-2658 |
| appearance as argument number 2 |
|
|
| (instance cohabitant IntentionalRelation) | Mid-level-ontology.kif 23059-23059 | |
| (instance domesticPartner IntentionalRelation) | Mid-level-ontology.kif 23443-23443 | |
| (instance friend IntentionalRelation) | Mid-level-ontology.kif 23024-23024 | |
| (instance inScopeOfInterest IntentionalRelation) | Merge.kif 2709-2709 | |
| (instance prefers IntentionalRelation) | Merge.kif 2672-2672 | |
| (instance serviceProvider IntentionalRelation) | Mid-level-ontology.kif 22957-22957 | |
| (instance serviceRecipient IntentionalRelation) | Mid-level-ontology.kif 22968-22968 | |
| (subclass ObjectAttitude IntentionalRelation) | Merge.kif 2695-2695 | |
| (subclass PropositionalAttitude IntentionalRelation) | Merge.kif 2681-2681 | |
| (termFormat ChineseLanguage IntentionalRelation "有意图的关系") | domainEnglishFormat.kif 30394-30394 | |
| (termFormat ChineseTraditionalLanguage IntentionalRelation "有意圖的關係") | domainEnglishFormat.kif 30393-30393 | |
| (termFormat EnglishLanguage IntentionalRelation "intentional relation") | domainEnglishFormat.kif 30392-30392 |
| antecedent |
|
|
| (=> (and (instance ?REL IntentionalRelation) (?REL ?AGENT @ROW) (inList ?OBJ (ListFn @ROW))) (inScopeOfInterest ?AGENT ?OBJ)) |
Merge.kif 2664-2669 |
|
|
|