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

Formal Language: 



KB Term:  Term intersection
English Word: 

  considers

 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
(domain considers 2 Formula) Merge.kif 2741-2741
(instance considers BinaryPredicate) Merge.kif 2738-2738
(instance considers PropositionalAttitude) Merge.kif 2737-2737
(subrelation considers inScopeOfInterest) Merge.kif 2739-2739

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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