(documentation considers ChineseLanguage "(considers ?AGENT ?FORMULA) 的意思是 ?AGENT 在 考虑或怀疑 ?FORMULA 所表达的命题是否真实。") 
chinese_format.kif 19391940 

(documentation considers EnglishLanguage "(considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA.") 
Merge.kif 27042706 

(domain considers 1 CognitiveAgent) 
Merge.kif 27012701 
The number 1 argument of considers is an instance of cognitive agent 
(domain considers 2 Formula) 
Merge.kif 27022702 
The number 2 argument of considers is an instance of formula 
(instance considers BinaryPredicate) 
Merge.kif 26992699 
considers is an instance of binary predicate 
(instance considers PropositionalAttitude) 
Merge.kif 26982698 
considers is an instance of propositional attitude 
(subrelation considers inScopeOfInterest) 
Merge.kif 27002700 
considers is a subrelation of in scope of interest 