TreeView Knowledge Base Browser

appearance as argument number 1

(documentation follows EnglishLanguage "This is an example of a connection within a SocialNetworkingSite such as Twitter or Tumblr. (follows ?USER1 ?USER2) means that ?USER1 has subscribed to ?USER2's posts. In other words, ?USER1 will be able to see DigitalPost that ?USER2 has posted (Posting).")	Facebook.kif 59-63
(instance follows BinaryPredicate)	Facebook.kif 65-65	follow is an instance of binary predicate
(instance follows IntentionalRelation)	Facebook.kif 66-66	follow is an instance of intentional relation
(subrelation follows connectedInSocialNetwork)	Facebook.kif 67-67	follow is a subrelation of connected in social network
(domain follows 1 SocialNetworkingUser)	Facebook.kif 68-68	The number 1 argument of follow is an instance of social networking user
(domain follows 2 SocialNetworkingUser)	Facebook.kif 69-69	The number 2 argument of follow is an instance of social networking user
(instance follows IrreflexiveRelation)	Facebook.kif 70-70	follow is an instance of irreflexive relation
(instance follows AsymmetricRelation)	Facebook.kif 71-71	follow is an instance of asymmetric relation

appearance as argument number 2

(termFormat EnglishLanguage follows "follow")	domainEnglishFormat.kif 64316-64316
(termFormat ChineseTraditionalLanguage follows "關注")	domainEnglishFormat.kif 64317-64317
(format EnglishLanguage follows "%1 folows %2.")	domainEnglishFormat.kif 64318-64318
(format ChineseTraditionalLanguage follows "%1 關注 %2.")	domainEnglishFormat.kif 64319-64319

antecedent

(=>
    (follows ?USER1 ?USER2)
    (exists (?POST ?SEE)
        (and
            (instance ?POST DigitalPost)
            (creator ?USER2 ?POST)
            (instance ?SEE AccessingWebPage)
            (agent ?SEE ?USER1)
            (patient ?SEE ?POST))))

Facebook.kif 73-81

If X folows Y., then there exist Z, W such that Z is an instance of digital post, Y created Z, W is an instance of accessing web page, X is an agent of W, and Z is a patient of W

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

KB Term:			Term intersection

English Word: