Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - considers
considers

appearance as argument number 1
-------------------------


(documentation considers ChineseLanguage "(considers ?AGENT ?FORMULA) 的意思是 ?AGENT 在 考虑或怀疑 ?FORMULA 所表达的命题是否真实。") chinese_format.kif 1939-1940
(documentation considers EnglishLanguage "(considers ?AGENT ?FORMULA) means that ?AGENT considers or wonders about the truth of the proposition expressed by ?FORMULA.") Merge.kif 2704-2706
(domain considers 1 CognitiveAgent) Merge.kif 2701-2701 The number 1 argument of considers is an instance of cognitive agent
(domain considers 2 Formula) Merge.kif 2702-2702 The number 2 argument of considers is an instance of formula
(instance considers BinaryPredicate) Merge.kif 2699-2699 considers is an instance of binary predicate
(instance considers PropositionalAttitude) Merge.kif 2698-2698 considers is an instance of propositional attitude
(subrelation considers inScopeOfInterest) Merge.kif 2700-2700 considers is a subrelation of in scope of interest

appearance as argument number 2
-------------------------


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

consequent
-------------------------


(=>
    (believes ?AGENT ?FORMULA)
    (exists (?TIME)
        (holdsDuring ?TIME
            (considers ?AGENT ?FORMULA))))
Merge.kif 2718-2721


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners