TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation approves inScopeOfInterest)	Mid-level-ontology.kif 29537-29537	approves is a subrelation of in scope of interest
(instance approves BinaryPredicate)	Mid-level-ontology.kif 29538-29538	approves is an instance of binary predicate
(documentation approves EnglishLanguage "(approves ?AGENT1 ?AGENT2) means that ?AGENT1 is satisfied that ?AGENT2 has met some requirement or proposition, and publicly declares such")	Mid-level-ontology.kif 29539-29541	approves is an instance of binary predicate
(domain approves 1 CognitiveAgent)	Mid-level-ontology.kif 29544-29544	The number 1 argument of approves is an instance of cognitive agent
(domain approves 2 CognitiveAgent)	Mid-level-ontology.kif 29545-29545	The number 2 argument of approves is an instance of cognitive agent

appearance as argument number 2

(termFormat EnglishLanguage approves "approves")	Mid-level-ontology.kif 29542-29542
(format EnglishLanguage approves "%1 approves %2")	domainEnglishFormat.kif 2808-2808
(format ChineseTraditionalLanguage approves "%1 approves %2 ")	domainEnglishFormat.kif 2809-2809
(format ChineseLanguage approves "%1 approves %2 ")	domainEnglishFormat.kif 2810-2810

antecedent

(=>
    (approves ?AGENT1 ?AGENT2)
    (exists (?PROP)
        (believes ?AGENT1
            (conforms ?AGENT2 ?PROP))))

If X approves Y, then there exists Z such that X believes Y conforms to Z