| 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 |
| consequent |
|
|
| (=> (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