Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - facebookFriend
facebookFriend

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


(documentation facebookFriend EnglishLanguage "This is a term that refers to the relationship between two people who have been deemed 'friends' on Facebook. This does not necessarily mean that they are friends in real life or that they even know each other outside of Facebook. Therefore, this term is not to be confused with friend. It is possible for two people to be friends and not facebookFriends and vice versa.") Facebook.kif 342-348
(domain facebookFriend 1 FacebookUser) Facebook.kif 351-351 The number 1 argument of Facebook friend is an instance of Facebook user
(domain facebookFriend 2 FacebookUser) Facebook.kif 352-352 The number 2 argument of Facebook friend is an instance of Facebook user
(instance facebookFriend SymmetricRelation) Facebook.kif 353-353 Facebook friend is an instance of symmetric relation
(instance facebookFriend IntentionalRelation) Facebook.kif 354-354 Facebook friend is an instance of intentional relation
(instance facebookFriend BinaryPredicate) Facebook.kif 355-355 Facebook friend is an instance of binary predicate
(subrelation facebookFriend connectedInSocialNetwork) Facebook.kif 356-356 Facebook friend is a subrelation of connected in social network

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


(termFormat EnglishLanguage facebookFriend "Facebook friend") Facebook.kif 350-350

consequent
-------------------------


(=>
    (and
        (instance ?FRIENDING Friending)
        (agent ?FRIENDING ?A)
        (patient ?FRIENDING ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?FRIENDING))
            (not
                (facebookFriend ?A ?P)))
        (holdsDuring
            (EndFn
                (WhenFn ?FRIENDING))
            (facebookFriend ?A ?P))))		 Facebook.kif 369-378 If X is an instance of friending, Y is an agent of X, and Z is a patient of X, then Facebook friend Y and Z holds during the beginning of the time of existence of X and Facebook friend Y and Z holds during the end of the time of existence of X
(=>
    (and
        (instance ?FRIENDING Friending)
        (agent ?FRIENDING ?A)
        (patient ?FRIENDING ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?FRIENDING))
            (facebookFriend ?A ?P))
        (holdsDuring
            (EndFn
                (WhenFn ?FRIENDING))
            (not
                (facebookFriend ?A ?P)))))		 Facebook.kif 390-399 If X is an instance of friending, Y is an agent of X, and Z is a patient of X, then Facebook friend Y and Z holds during the beginning of the time of existence of X and Facebook friend Y and Z holds during the end of the time of existence of X


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