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
needs
Sigma KEE - needs
needs
appearance as argument number 1
(
documentation
needs
ChineseLanguage
"(
needs
?AGENT ?OBJECT) 的意思是 ?AGENT的继续存在物质上 需要 ?OBJECT。")
chinese_format.kif 1932-1933
(
documentation
needs
EnglishLanguage
"(
needs
?AGENT ?OBJECT) means that ?OBJECT is physically required for the continued existence of ?AGENT.")
Merge.kif 2754-2755
(
documentation
needs
JapaneseLanguage
"(
needs
?AGENT ?OBJECT) とは、?AGENT の継続的な存在 のために ?OBJECT が物理的に必要であることを意味する。")
japanese_format.kif 560-561
(
domain
needs
1
CognitiveAgent
)
Merge.kif 2751-2751
Die Zahl 1 Argument von
braucht
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
domain
needs
2
Physical
)
Merge.kif 2752-2752
Die Zahl 2 Argument von
braucht
ist ein
fall
von
Physical
%n{nicht}
(
instance
needs
BinaryPredicate
)
Merge.kif 2749-2749
braucht
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
needs
ObjectAttitude
)
Merge.kif 2748-2748
braucht
ist ein
fall
von
ObjectAttitude
%n{nicht}
(
subrelation
needs
inScopeOfInterest
)
Merge.kif 2750-2750
braucht
ist eine
teilrelation
von
imBereichInteresses
appearance as argument number 2
(
format
ChineseLanguage
needs
"%1 %n{doesn't}
needs
%2")
chinese_format.kif 157-157
(
format
EnglishLanguage
needs
"%1 %n{doesn't} need%p{s} %2")
english_format.kif 158-158
(
format
FrenchLanguage
needs
"%1 %n{n'} a %n{pas} besoin de %2")
french_format.kif 98-98
(
format
ItalianLanguage
needs
"%1 %n{non} necessita di%p{s} %2")
relations-it.txt 199-199
(
format
JapaneseLanguage
needs
"%1 は %2 を need%p{s} %n{ない}")
japanese_format.kif 1927-1927
(
format
PortugueseLanguage
needs
"%1 %n{nao} tem %n necessidade de %2")
portuguese_format.kif 50-50
(
format
cz
needs
"%1 %n{doesn't} need%p{s} %2")
relations-cz.txt 96-96
(
format
de
needs
"%1 braucht %2 %n{nicht}")
relations-de.txt 188-188
(
format
hi
needs
"%1 ko %2 kii aavashyakataa %n{nahiin} hai")
relations-hindi.txt 237-237
(
format
ro
needs
"%1 %n{nu} need%t{are nevoie} de %2")
relations-ro.kif 117-117
(
format
sv
needs
"%1 behöver %n{inte} %2")
relations-sv.txt 97-97
(
format
tg
needs
"%1 %n ay kailangan %2")
relations-tg.txt 382-382
(
subrelation
lacks
needs
)
Mid-level-ontology.kif 7448-7448
lacks
ist eine
teilrelation
von
braucht
(
termFormat
ChineseLanguage
needs
"需求")
domainEnglishFormat.kif 40083-40083
(
termFormat
ChineseLanguage
needs
"需要")
chinese_format.kif 158-158
(
termFormat
ChineseTraditionalLanguage
needs
"需求")
domainEnglishFormat.kif 40082-40082
(
termFormat
EnglishLanguage
needs
"needs")
domainEnglishFormat.kif 40081-40081
(
termFormat
de
needs
"braucht")
terms-de.txt 58-58
(
termFormat
tg
needs
"kailangan")
relations-tg.txt 383-383
antecedent
(=>
(
needs
?AGENT ?OBJECT)
(
wants
?AGENT ?OBJECT))
Merge.kif 2757-2759
Wenn
CognitiveAgent
braucht
Physical
%n{nicht},
dann
** CognitiveAgent
wuenscht
** Physical
%n{nicht}
consequent
(=>
(
attribute
?H
Anorexia
)
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?H)
(
needs
?H ?E)
(
not
(
wants
?H ?E)))))
Medicine.kif 5037-5045
Wenn
Anorexia
ist ein
attribut
von
CognitiveAgent
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Eating
%n{nicht} und
** Process
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** CognitiveAgent
braucht
** Process
%n{nicht} und
** CognitiveAgent
wuenscht
** Process
nicht
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
SleepApnea
)
(
attribute
?H
Sleeping
)))
(
exists
(?T2 ?B ?B2)
(
and
(
during
?T2 ?T)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T2)
(
experiencer
?B ?H))))
(
holdsDuring
?T2
(
and
(
instance
?B2
Breathing
)
(
needs
?H ?B2))))))
Medicine.kif 4161-4178
Wenn
SleepApnea
ist ein
attribut
von
AutonomousAgent
%n{nicht} und
Sleeping
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
TimeInterval
%n{nicht},
dann es gibt
** TimeInterval
2,
Process
, and und
** Process
2 um
** TimeInterval
2 geschieht
waehrend
** TimeInterval
%n{nicht} und es gibt nicht
** Process
um
** Process
ist ein
fall
von
Breathing
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
2 %n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** Process
2 ist ein
fall
von
Breathing
%n{nicht} und
** AutonomousAgent
braucht
** Process
2 %n{nicht} haelt
waehrend
** TimeInterval
2 %n{nicht}
(=>
(
holdsDuring
?T
(
attribute
?H
RectalTenesmus
))
(
holdsDuring
?T
(
and
(
desires
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))
(
not
(
needs
?H
(
exists
(?D)
(
and
(
instance
?D
Defecation
)
(
agent
?D ?H))))))))
Medicine.kif 5110-5125
Wenn
RectalTenesmus
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
** entity
wuenscht es gibt
** entity
um
** ** entity
ist ein
fall
von
Defecation
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht} %n{nicht} und
** entity
braucht
es gibt
** ** entity
um
** ** entity
ist ein
fall
von
Defecation
%n{nicht} und
** ** entity
ist der
agent
von
** entity
%n{nicht} nicht haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
needs
?H ?O))))
Medicine.kif 4634-4640
Wenn
Entity
ist ein
fall
von
OrganTransplant
%n{nicht},
dann es gibt
CognitiveAgent
und
Physical
um
** CognitiveAgent
ist ein
fall
von
Animal
%n{nicht} und
** Physical
ist ein
fall
von
Organ
%n{nicht} und
** CognitiveAgent
braucht
** Physical
%n{nicht}
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