TreeView Knowledge Base Browser

appearance as argument number 1

(instance considers PropositionalAttitude)	Merge.kif 2906-2906	considers is an instance of propositional attitude
(instance considers BinaryPredicate)	Merge.kif 2907-2907	considers is an instance of binary predicate
(subrelation considers inScopeOfInterest)	Merge.kif 2908-2908	considers is a subrelation of in scope of interest
(domain considers 1 CognitiveAgent)	Merge.kif 2909-2909	The number 1 argument of considers is an instance of cognitive agent
(domain considers 2 Formula)	Merge.kif 2910-2910	The number 2 argument of considers is an instance of formula
(documentation considers EnglishLanguage "(considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA.")	Merge.kif 2912-2914	The number 2 argument of considers is an instance of formula

appearance as argument number 2

(termFormat EnglishLanguage considers "considers")	domainEnglishFormat.kif 16692-16692
(termFormat ChineseTraditionalLanguage considers "考慮")	domainEnglishFormat.kif 16693-16693
(termFormat ChineseLanguage considers "考虑")	domainEnglishFormat.kif 16694-16694
(format EnglishLanguage considers "%1 %n{doesn't} consider%p{s} %2")	english_format.kif 79-79

consequent

(=>
    (believes ?AGENT ?FORMULA)
    (exists (?TIME)
        (holdsDuring ?TIME
            (considers ?AGENT ?FORMULA))))

If X believes Y, then there exists Z such that X considers Y holds during Z