| 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 2803-2805 | |
| (documentation considers JapaneseLanguage "(considers ?AGENT ?FORMULA) とは、AGENT が ?FORMULAによって表明された命題の真実について考慮または疑問に思っていることを意味する。") | japanese_format.kif 569-570 | |
| (domain considers 1 CognitiveAgent) | Merge.kif 2800-2800 | The number 1 argument of considers is an instance of cognitive agent |
| (domain considers 2 Formula) | Merge.kif 2801-2801 | The number 2 argument of considers is an instance of formula |
| (instance considers BinaryPredicate) | Merge.kif 2798-2798 | considers is an instance of binary predicate |
| (instance considers PropositionalAttitude) | Merge.kif 2797-2797 | considers is an instance of propositional attitude |
| (subrelation considers inScopeOfInterest) | Merge.kif 2799-2799 | 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 | |
| (format FrenchLanguage considers "%1 %n{ne} consid�re %n{pas} %2") | french_format.kif 64-64 | |
| (format ItalianLanguage considers "%1 %n{non} considera%p{s} %2") | relations-it.txt 56-56 | |
| (format JapaneseLanguage considers "%1 は %2 を consider%p{s} %n{ない}") | japanese_format.kif 1888-1888 | |
| (format PortugueseLanguage considers "%1 %n{nao} considera %n %2") | portuguese_format.kif 16-16 | |
| (format cz considers "%1 %n{doesn't} consider%p{s} %2") | relations-cz.txt 99-99 | |
| (format de considers "%1 betrachtet %2 %n{nicht}") | relations-de.txt 89-89 | |
| (format hi considers "%1 %2 ke baare men vichaara %n karataa hai") | relations-hindi.txt 97-97 | |
| (format ro considers "%1 %n{nu} consider%t{evalueazã} %2") | relations-ro.kif 83-83 | |
| (format sv considers "%1 överväger %n{inte} %2") | relations-sv.txt 63-63 | |
| (format tg considers "%1 %n inisipin %2") | relations-cb.txt 90-90 | |
| (termFormat ChineseLanguage considers "考虑") | chinese_format.kif 80-80 | |
| (termFormat ChineseTraditionalLanguage considers "考慮") | domainEnglishFormat.kif 16707-16707 | |
| (termFormat EnglishLanguage considers "considers") | domainEnglishFormat.kif 16706-16706 | |
| (termFormat de considers "betrachtet") | terms-de.txt 24-24 | |
| (termFormat tg considers "inisipin") | relations-tg.txt 129-129 |
| consequent |
|
|
| (=> (believes ?AGENT ?FORMULA) (exists (?TIME) (holdsDuring ?TIME (considers ?AGENT ?FORMULA)))) |
Merge.kif 2817-2821 |
|
|
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