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 domain considers, 1 and CognitiveAgent
(domain considers 2 Formula) Merge.kif 2702-2702 domain considers, 2 and Formula
(instance considers BinaryPredicate) Merge.kif 2699-2699 instance considers and BinaryPredicate
(instance considers PropositionalAttitude) Merge.kif 2698-2698 instance considers and PropositionalAttitude
(subrelation considers inScopeOfInterest) Merge.kif 2700-2700 subrelation considers and inScopeOfInterest

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