Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
considers
Sigma KEE - considers
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
考虑
的 1 数量 是
有认知的主事
的
instance
(
domain
considers
2
Formula
)
Merge.kif 2801-2801
考虑
的 2 数量 是
公式
的
instance
(
instance
considers
BinaryPredicate
)
Merge.kif 2798-2798
考虑
是
二元谓语
的
instance
(
instance
considers
PropositionalAttitude
)
Merge.kif 2797-2797
考虑
是
命题态度
的
instance
(
subrelation
considers
inScopeOfInterest
)
Merge.kif 2799-2799
考虑
是
感兴趣
的
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
(
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-2820
如果
有认知的主事
believes
公式
,
然后 有存在
时间位置
这样
那个 有认知的主事
considers
那个 公式
在
那个 时间位置
holdsDuring
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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