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 2803-2805 | |
(documentation considers JapaneseLanguage "(considers ?AGENT ?FORMULA) とは、AGENT が ?FORMULAによって表明された命題の真実について考慮または疑問に思っていることを意味する。") | japanese_format.kif 569-570 | |
(domain considers 1 CognitiveAgent) | Merge.kif 2800-2800 | Die Zahl 1 Argument von betrachtet ist ein fall von CognitiveAgent %n{nicht} |
(domain considers 2 Formula) | Merge.kif 2801-2801 | Die Zahl 2 Argument von betrachtet ist ein fall von Formula %n{nicht} |
(instance considers BinaryPredicate) | Merge.kif 2798-2798 | betrachtet ist ein fall von BinaryPredicate %n{nicht} |
(instance considers PropositionalAttitude) | Merge.kif 2797-2797 | betrachtet ist ein fall von PropositionalAttitude %n{nicht} |
(subrelation considers inScopeOfInterest) | Merge.kif 2799-2799 | betrachtet ist eine teilrelation von imBereichInteresses |
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 16691-16691 | |
(termFormat EnglishLanguage considers "considers") | domainEnglishFormat.kif 16690-16690 | |
(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 |
|