| 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 2797-2799 | |
| (documentation considers JapaneseLanguage "(considers ?AGENT ?FORMULA) とは、AGENT が ?FORMULAによって表明された命題の真実について考慮または疑問に思っていることを意味する。") | japanese_format.kif 569-570 | |
| (domain considers 1 CognitiveAgent) | Merge.kif 2794-2794 | The number 1 argument of considers is an instance of cognitive agent |
| (domain considers 2 Formula) | Merge.kif 2795-2795 | The number 2 argument of considers is an instance of formula |
| (instance considers BinaryPredicate) | Merge.kif 2792-2792 | considers is an instance of binary predicate |
| (instance considers PropositionalAttitude) | Merge.kif 2791-2791 | considers is an instance of propositional attitude |
| (subrelation considers inScopeOfInterest) | Merge.kif 2793-2793 | 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 16706-16706 | |
| (termFormat EnglishLanguage considers "considers") | domainEnglishFormat.kif 16705-16705 | |
| (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 2811-2815 |
|
|
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