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 Agent and one or more Entities, where the Relation requires that the Agent have awareness of the Entity.") Merge.kif 2579-2581
(subclass IntentionalRelation InheritableRelation) Merge.kif 2576-2576 subclass IntentionalRelation and InheritableRelation
(subclass IntentionalRelation Relation) Merge.kif 2577-2577 subclass IntentionalRelation and Relation

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


(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 20907-20907 instance cohabitant and IntentionalRelation
(instance domesticPartner IntentionalRelation) Mid-level-ontology.kif 21315-21315 instance domesticPartner and IntentionalRelation
(instance friend IntentionalRelation) Mid-level-ontology.kif 20872-20872 instance friend and IntentionalRelation
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2628-2628 instance inScopeOfInterest and IntentionalRelation
(instance prefers IntentionalRelation) Merge.kif 2591-2591 instance prefers and IntentionalRelation
(instance serviceProvider IntentionalRelation) Mid-level-ontology.kif 20799-20799 instance serviceProvider and IntentionalRelation
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 20810-20810 instance serviceRecipient and IntentionalRelation
(subclass ObjectAttitude IntentionalRelation) Merge.kif 2614-2614 subclass ObjectAttitude and IntentionalRelation
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2600-2600 subclass PropositionalAttitude and IntentionalRelation
(termFormat ChineseLanguage IntentionalRelation "有意图的关系") domainEnglishFormat.kif 30313-30313
(termFormat ChineseTraditionalLanguage IntentionalRelation "有意圖的關係") domainEnglishFormat.kif 30312-30312
(termFormat EnglishLanguage IntentionalRelation "intentional relation") domainEnglishFormat.kif 30311-30311

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


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


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