(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 27432745 

(domain considers 1 CognitiveAgent) 
Merge.kif 27402740 
The number 1 argument of considers is an instance of cognitive agent 
(domain considers 2 Formula) 
Merge.kif 27412741 
The number 2 argument of considers is an instance of formula 
(instance considers BinaryPredicate) 
Merge.kif 27382738 
considers is an instance of binary predicate 
(instance considers PropositionalAttitude) 
Merge.kif 27372737 
considers is an instance of propositional attitude 
(subrelation considers inScopeOfInterest) 
Merge.kif 27392739 
considers is a subrelation of in scope of interest 