| 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