TreeView Knowledge Base Browser

appearance as argument number 1

(instance interestedIn BinaryPredicate)	emotion.kif 720-720	interested in is an instance of binary predicate
(subrelation interestedIn inScopeOfInterest)	emotion.kif 721-721	interested in is a subrelation of in scope of interest
(documentation interestedIn EnglishLanguage "(interestedIn ?A ?O) means that the CongitiveAgent ?A is interested in the Object ?O. This is different from enjoys in which the second argument is a Process. Both enjoys and interestedIn entail a positive sentiment.")	emotion.kif 722-725	interested in is a subrelation of in scope of interest
(domain interestedIn 1 CognitiveAgent)	emotion.kif 728-728	The number 1 argument of interested in is an instance of cognitive agent
(domain interestedIn 2 Object)	emotion.kif 729-729	The number 2 argument of interested in is an instance of object

appearance as argument number 2

(termFormat EnglishLanguage interestedIn "interested in")	emotion.kif 726-726
(format EnglishLanguage interestedIn "%1 is interestedIn %2")	emotion.kif 727-727

consequent

(=>
    (holdsDuring ?T
        (attribute ?A Interested))
    (holdsDuring ?T
        (exists (?O)
            (interestedIn ?A ?O))))

If interest is an attribute of X holds during Y, then there exists Z such that X is interestedIn Z holds during Y