Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalRelation
IntentionalRelation(有意图的关系)

appearance as argument number 1
-------------------------


(documentation IntentionalRelation ChineseLanguage "这是 Agent 和一个或以上的 Entity 之间 的 Relation Class,这个 Relation 要求 AgentEntity 有认知。") 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 の間の AgentClassAgentEntity の認識を持っていることを Relation が要求する。") japanese_format.kif 547-548
(subclass IntentionalRelation InheritableRelation) Merge.kif 2666-2666 有意图的关系可继承的关系subclass
(subclass IntentionalRelation Relation) Merge.kif 2667-2667 有意图的关系关系subclass

appearance as argument number 2
-------------------------


(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 24621-24621 同居有意图的关系instance
(instance domesticPartner IntentionalRelation) Mid-level-ontology.kif 25005-25005 国内的合作伙伴有意图的关系instance
(instance friend IntentionalRelation) Mid-level-ontology.kif 24586-24586 朋友有意图的关系instance
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2718-2718 感兴趣有意图的关系instance
(instance prefers IntentionalRelation) Merge.kif 2681-2681 拥有有意图的关系instance
(instance serviceProvider IntentionalRelation) Mid-level-ontology.kif 24519-24519 服务供应者有意图的关系instance
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 24530-24530 受服务者有意图的关系instance
(subclass ObjectAttitude IntentionalRelation) Merge.kif 2704-2704 对象态度有意图的关系subclass
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2690-2690 命题态度有意图的关系subclass
(termFormat ChineseLanguage IntentionalRelation "有意图的关系") domainEnglishFormat.kif 30396-30396 命题态度有意图的关系subclass
(termFormat ChineseTraditionalLanguage IntentionalRelation "有意圖的關係") domainEnglishFormat.kif 30395-30395 命题态度有意图的关系subclass
(termFormat EnglishLanguage IntentionalRelation "intentional relation") domainEnglishFormat.kif 30394-30394 命题态度有意图的关系subclass

antecedent
-------------------------


(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))
Merge.kif 2673-2678


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners