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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalRelation
IntentionalRelation(intentional relation)Eurocentrism, Islamophobia, alert, alive, angle, awake, awareness, bent, bias, broad-mindedness, cognisance, cognizance, connive_at, conscious, consciousness, cult_of_personality, defensive, defensive_attitude, denominationalism, devices, disapproval, disfavor, disfavour, dislike, disrespect, doghouse, dreamed, envisioned, esteem, estimate, estimation, experimenter_bias, fabricated, fancied, favor, favoritism, favour, favouritism, fictional, fictitious, hardball, incognizant, intentional_relation, intentionality, intolerance, knowingness, leaning, localism, oblivious, orientation...

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


(documentation IntentionalRelation ChineseLanguage "这是 Agent 和一个或以上的 Entity 之间 的 Relation Class,这个 Relation 要求 AgentEntity 有认知。") Merge.kif 2856-2857
(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 2853-2855
(subclass IntentionalRelation InheritableRelation) Merge.kif 2851-2851 Intentional relation is a subclass of inheritable relation
(subclass IntentionalRelation Relation) Merge.kif 2852-2852 Intentional relation is a subclass of relation

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


(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 20863-20863 cohabitant is an instance of intentional relation
(instance domesticPartner IntentionalRelation) Mid-level-ontology.kif 21271-21271 domestic partner is an instance of intentional relation
(instance friend IntentionalRelation) Mid-level-ontology.kif 20828-20828 friend is an instance of intentional relation
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2908-2908 in scope of interest is an instance of intentional relation
(instance prefers IntentionalRelation) Merge.kif 2867-2867 prefers is an instance of intentional relation
(instance serviceProvider IntentionalRelation) Mid-level-ontology.kif 20755-20755 service provider is an instance of intentional relation
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 20766-20766 service recipient is an instance of intentional relation
(subclass ObjectAttitude IntentionalRelation) Merge.kif 2893-2893 Object attitude is a subclass of intentional relation
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2878-2878 Propositional attitude is a subclass of intentional relation
(termFormat EnglishLanguage IntentionalRelation "intentional relation") domainEnglishFormat.kif 5481-5481 "intentional relation" is the printable form of intentional relation in english language

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners