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
PainFn
Sigma KEE - PainFn
PainFn
appearance as argument number 1
(
documentation
PainFn
EnglishLanguage
"A
Function
that returns that class of
Pain
affecting a particular
BodyPart
of an
Animal
.")
Mid-level-ontology.kif 6347-6348
(
domain
PainFn
1
BodyPart
)
Mid-level-ontology.kif 6349-6349
PainFn
の数値 1 引数は
体の部分
の
instance
では %n
(
instance
PainFn
UnaryFunction
)
Mid-level-ontology.kif 6346-6346
PainFn
は
1変数関数
の
instance
では %n
(
rangeSubclass
PainFn
Pain
)
Mid-level-ontology.kif 6350-6350
PainFn
が返す値は
Pain
の
subclasses
では %n
appearance as argument number 2
(
format
EnglishLanguage
PainFn
"pain in the %1")
Mid-level-ontology.kif 6352-6352
(
termFormat
EnglishLanguage
PainFn
"pain")
Mid-level-ontology.kif 6351-6351
antecedent
(=>
(
and
(
experiencer
?ORGANISM ?PAIN)
(
instance
?PAIN
(
PainFn
?P)))
(
exists
(?PART)
(
and
(
part
?PART ?ORGANISM)
(
located
?PART ?P))))
Mid-level-ontology.kif 6356-6363
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
PainFn
体の部分
の
instance
では %n
体の部分
ART
体の部分
ART は
工程
の
part
では %n
体の部分
ART は
体の部分
に
located
して %n
consequent
(=>
(
and
(
instance
?A
LocalAnesthetizing
)
(
located
?A ?BP)
(
instance
?BP
BodyPart
)
(
part
?BP ?P)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
not
(
attribute
?P
(
PainFn
?BP)))))
Medicine.kif 1008-1019
工程
は
LocalAnesthetizing
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
の
patient
では %n
PainFn
オブジェクト
は
オブジェクト
の
attribute
では は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
移動
は
Injecting
の
instance
では %n
オブジェクト
は
Adalimumab
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
移動
は
エンティティー
に
end
s %n{ない}
ステートメント
エンティティー
PainFn
オブジェクト
は
エンティティー
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
は
移動
の
time
の existence の
after
の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
instance
?I
Ivabradine
)
(
hasPurpose
?I
(
exists
(?H ?IN ?P)
(
and
(
instance
?H
Human
)
(
instance
?P
(
PainFn
Chest
))
(
experiencer
?P ?H)
(
instance
?IN
Ingesting
)
(
agent
?IN ?H)
(
earlier
(
WhenFn
?P)
(
WhenFn
?IN))
(
not
(
exists
(?P2)
(
and
(
instance
?P2
(
PainFn
Chest
))
(
experiencer
?P2 ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?P2)))))))))
Medicine.kif 4891-4911
物理
は
Ivabradine
の
instance
では %n
物理
は
エンティティー
物理
N and
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
PainFn
Chest
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
物理
N は
摂取
の
instance
では %n
エンティティー
は
物理
N の
agent
では %n
エンティティー
の
time
の existence は
物理
N の
time
の existence より
earlier
happens %n{ない}
エンティティー
2
エンティティー
2 は
PainFn
Chest
の
instance
では %n
エンティティー
が
エンティティー
2 を
experience
s %n{ない}
物理
N の
time
の existence は
エンティティー
2 の
time
の existence より
earlier
happens %n{ない} の 目的 %n{ない}
statement
(
pathologicSideEffect
Cetirizine
(
PainFn
Abdomen
))
Medicine.kif 3714-3714
pathologicSideEffect
Cetirizine
and
PainFn
Abdomen
(
sideEffect
Cetirizine
(
PainFn
Abdomen
))
Medicine.kif 4286-4286
sideEffect
Cetirizine
and
PainFn
Abdomen
(
subclass
Arthritis
(
PainFn
BodyJoint
))
Medicine.kif 2218-2218
Arthritis
は
PainFn
BodyJoint
の
subclass
では %n
(
subclass
ChestPain
(
PainFn
Chest
))
Medicine.kif 2016-2016
ChestPain
は
PainFn
Chest
の
subclass
では %n
(
subclass
Headache
(
PainFn
Head
))
Mid-level-ontology.kif 19332-19332
Headache
は
PainFn
Head
の
subclass
では %n
(
subclass
JointPain
(
PainFn
BodyJoint
))
Medicine.kif 2011-2011
JointPain
は
PainFn
BodyJoint
の
subclass
では %n
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