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 2743-2745
(domain considers 1 CognitiveAgent) Merge.kif 2740-2740 The number 1 argument of considers is an instance of cognitive agent
(domain considers 2 Formula) Merge.kif 2741-2741 The number 2 argument of considers is an instance of formula
(instance considers BinaryPredicate) Merge.kif 2738-2738 considers is an instance of binary predicate
(instance considers PropositionalAttitude) Merge.kif 2737-2737 considers is an instance of propositional attitude
(subrelation considers inScopeOfInterest) Merge.kif 2739-2739 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 16682-16682
(termFormat EnglishLanguage considers "considers") domainEnglishFormat.kif 16681-16681

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


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


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 3.0 is open source software produced by Articulate Software and its partners