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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntentionalRelation

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 2673-2675
(documentation IntentionalRelation JapaneseLanguage "Agent と1つ以上の Entities の間の AgentClassAgentEntity の認識を持っていることを Relation が要求する。") japanese_format.kif 547-548
(subclass IntentionalRelation InheritableRelation) Merge.kif 2670-2670 IntentionalRelation est une sous-classe de InheritableRelation
(subclass IntentionalRelation Relation) Merge.kif 2671-2671 IntentionalRelation est une sous-classe de relation

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


(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 22978-22978 cohabitant est une instance de IntentionalRelation
(instance domesticPartner IntentionalRelation) Mid-level-ontology.kif 23362-23362 domesticPartner est une instance de IntentionalRelation
(instance friend IntentionalRelation) Mid-level-ontology.kif 22943-22943 friend est une instance de IntentionalRelation
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2722-2722 inScopeOfInterest est une instance de IntentionalRelation
(instance prefers IntentionalRelation) Merge.kif 2685-2685 prefers est une instance de IntentionalRelation
(instance serviceProvider IntentionalRelation) Mid-level-ontology.kif 22876-22876 serviceProvider est une instance de IntentionalRelation
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 22887-22887 serviceRecipient est une instance de IntentionalRelation
(subclass ObjectAttitude IntentionalRelation) Merge.kif 2708-2708 Attitude d'objet est une sous-classe de IntentionalRelation
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2694-2694 Attitude propositionnelle est une sous-classe de IntentionalRelation
(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


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

Show without tree


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