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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 2749-2751
(domain considers 1 CognitiveAgent) Merge.kif 2746-2746 考虑 的 1 数量 是 有认知的主事instance
(domain considers 2 Formula) Merge.kif 2747-2747 考虑 的 2 数量 是 公式instance
(instance considers BinaryPredicate) Merge.kif 2744-2744 考虑二元谓语instance
(instance considers PropositionalAttitude) Merge.kif 2743-2743 考虑命题态度instance
(subrelation considers inScopeOfInterest) Merge.kif 2745-2745 考虑感兴趣subrelation

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


    (believes ?AGENT ?FORMULA)
    (exists (?TIME)
        (holdsDuring ?TIME
            (considers ?AGENT ?FORMULA))))
Merge.kif 2763-2766

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