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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 2660-2662
(documentation IntentionalRelation JapaneseLanguage "Agent と1つ以上の Entities の間の AgentClassAgentEntity の認識を持っていることを 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


        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))
Merge.kif 2664-2669

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