Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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, intentionality, intolerance, knowingness, leaning, localism, oblivious, orientation, paradigm...

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


(subclass IntentionalRelation InheritableRelation) Merge.kif 2779-2779 Intentional relation is a subclass of inheritable relation
(subclass IntentionalRelation Relation) Merge.kif 2780-2780 Intentional relation is a subclass of relation
(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 2782-2784 Intentional relation is a subclass of relation

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


(instance prefers IntentionalRelation) Merge.kif 2794-2794 prefers is an instance of intentional relation
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2803-2803 Propositional attitude is a subclass of intentional relation
(subclass ObjectAttitude IntentionalRelation) Merge.kif 2817-2817 Object attitude is a subclass of intentional relation
(instance inScopeOfInterest IntentionalRelation) Merge.kif 2831-2831 in scope of interest is an instance of intentional relation
(instance serviceProvider IntentionalRelation) Mid-level-ontology.kif 25194-25194 service provider is an instance of intentional relation
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 25205-25205 service recipient is an instance of intentional relation
(instance friend IntentionalRelation) Mid-level-ontology.kif 25261-25261 friend is an instance of intentional relation
(instance cohabitant IntentionalRelation) Mid-level-ontology.kif 25296-25296 cohabitant is an instance of intentional relation
(instance domesticPartner IntentionalRelation) Mid-level-ontology.kif 25680-25680 domestic partner is an instance of intentional relation
(instance connectedInSocialNetwork IntentionalRelation) Facebook.kif 40-40 connected in social network is an instance of intentional relation
(instance follows IntentionalRelation) Facebook.kif 66-66 follow is an instance of intentional relation
(instance facebookFriend IntentionalRelation) Facebook.kif 354-354 Facebook friend is an instance of intentional relation
(termFormat EnglishLanguage IntentionalRelation "intentional relation") domainEnglishFormat.kif 30387-30387 Facebook friend is an instance of intentional relation
(termFormat ChineseTraditionalLanguage IntentionalRelation "有意圖的關係") domainEnglishFormat.kif 30388-30388 Facebook friend is an instance of intentional relation
(termFormat ChineseLanguage IntentionalRelation "有意图的关系") domainEnglishFormat.kif 30389-30389 Facebook friend is an instance of intentional relation

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


(=>
    (and
        (instance ?REL IntentionalRelation)
        (?REL ?AGENT @ROW)
        (inList ?OBJ
            (ListFn @ROW)))
    (inScopeOfInterest ?AGENT ?OBJ))		 Merge.kif 2786-2791 If X is an instance of intentional relation, X Y and @ROW, and W is a member of (@ROW), then Y is interested in W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners