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
ImpairmentFn
Sigma KEE - ImpairmentFn
ImpairmentFn
appearance as argument number 1
(
documentation
ImpairmentFn
EnglishLanguage
"A faulty or compromised
Process
of the normal body.")
Merge.kif 13467-13468
(
domainSubclass
ImpairmentFn
1
PhysiologicProcess
)
Merge.kif 13469-13469
Il numero 1 argomento
ImpairmentFn
è una
sottoclasse
di
ProcessoFisiologico
(
instance
ImpairmentFn
UnaryFunction
)
Merge.kif 13466-13466
ImpairmentFn
è un'
istanza
di
FunzioneUnaria
(
rangeSubclass
ImpairmentFn
BiologicalProcess
)
Merge.kif 13470-13470
I valori resi da
ImpairmentFn
sono
sottoclassi
di
ProcesoBiologico
appearance as argument number 2
(
format
EnglishLanguage
ImpairmentFn
"impairment in %1")
Merge.kif 13472-13472
(
termFormat
EnglishLanguage
ImpairmentFn
"impairment")
Merge.kif 13471-13471
antecedent
(=>
(
and
(
instance
?SI
(
ImpairmentFn
?S))
(
instrument
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
instrument
?A2)
(
not
(
capability
?S
instrument
?A)))))
Merge.kif 13474-13484
Processo
è un'
istanza
di
ImpairmentFn
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
2
Oggetto
2 is
uguale
a
Oggetto
Oggetto
2 è
capace
di fare
Processo
nel ruolo
instrument
Oggetto
è
capace
di fare
Processo
nel ruolo
instrument
consequent
(=>
(
and
(
instance
?C
Cricothyroidotomy
)
(
patient
?C ?O))
(
hasPurpose
?C
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))
(
not
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
exists
(?B)
(
and
(
instance
?B
(
ImpairmentFn
Breathing
))
(
patient
?B ?O))))))))
Medicine.kif 767-785
Processo
è un'
istanza
di
Cricothyroidotomy
Entit�
è un
paziente
di
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
ImpairmentFn
Respirazione
Entit�
è un
paziente
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
Entit�
è un'
istanza
di
ImpairmentFn
Respirazione
Entit�
è un
paziente
di
Entit�
non vale
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
attribute
?H
Asthma
)
(
exists
(?I)
(
and
(
instance
?I
(
ImpairmentFn
Breathing
))
(
experiencer
?I ?H))))
Medicine.kif 3417-3423
attribute
AutonomousAgent
and
Asthma
Processo
Processo
è un'
istanza
di
ImpairmentFn
Respirazione
AutonomousAgent
esperisce
s
Processo
(=>
(
attribute
?H
ChronicObstructivePulmonaryDisease
)
(
instance
?H
(
ImpairmentFn
Breathing
)))
Mid-level-ontology.kif 5986-5989
attribute
Oggetto
and
ChronicObstructivePulmonaryDisease
Oggetto
è un'
istanza
di
ImpairmentFn
Respirazione
(=>
(
attribute
?H
Dysautonomia
)
(
exists
(?P)
(
and
(
experiencer
?P ?H)
(
instance
?P
(
ImpairmentFn
AutonomicProcess
)))))
Medicine.kif 4230-4236
attribute
AutonomousAgent
and
Dysautonomia
Processo
AutonomousAgent
esperisce
s
Processo
Processo
è un'
istanza
di
ImpairmentFn
AutonomicProcess
(=>
(
holdsDuring
?T
(
attribute
?H
Insomnia
))
(
exists
(?I)
(
and
(
instance
?I
(
ImpairmentFn
Sleeping
))
(
experiencer
?I ?H)
(
equal
?T
(
WhenFn
?I)))))
Medicine.kif 2105-2114
attribute
AutonomousAgent
and
Insomnia
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
ImpairmentFn
Sleeping
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
(=>
(
holdsDuring
?T
(
attribute
?H
Pneumothorax
))
(
exists
(?I)
(
and
(
instance
?I
(
ImpairmentFn
Breathing
))
(
patient
?I ?H)
(
during
?T
(
WhenFn
?I)))))
Medicine.kif 812-821
attribute
Entit�
and
Pneumothorax
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
ImpairmentFn
Respirazione
Entit�
è un
paziente
di
Processo
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
(=>
(
instance
?A
Anticoagulant
)
(
hasPurpose
?A
(
exists
(?M)
(
and
(
instance
?M
Mammal
)
(
experiencer
?M
(
ImpairmentFn
Clotting
))))))
Medicine.kif 4853-4860
Entit�Concreta
è un'
istanza
di
Anticoagulant
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Mammifero
ImpairmentFn
Clotting
esperisce
s
Entit�
statement
(
diseaseSymptom
ParkinsonsDisease
(
ImpairmentFn
Walking
))
Medicine.kif 4258-4258
diseaseSymptom
ParkinsonsDisease
and
ImpairmentFn
Camminare
(
subclass
BrainFog
(
ImpairmentFn
Thinking
))
Medicine.kif 2975-2975
BrainFog
è una
sottoclasse
di
ImpairmentFn
Thinking
(
subclass
BreathingDifficulty
(
ImpairmentFn
Breathing
))
Medicine.kif 2037-2037
BreathingDifficulty
è una
sottoclasse
di
ImpairmentFn
Respirazione
(
subclass
Choking
(
ImpairmentFn
Breathing
))
Mid-level-ontology.kif 11748-11748
Choking
è una
sottoclasse
di
ImpairmentFn
Respirazione
(
subclass
GastroIntestinalIssue
(
ImpairmentFn
Digesting
))
Medicine.kif 2116-2116
GastroIntestinalIssue
è una
sottoclasse
di
ImpairmentFn
Digesting
(
subclass
HeartPalpitation
(
ImpairmentFn
HeartBeat
))
Medicine.kif 4325-4325
HeartPalpitation
è una
sottoclasse
di
ImpairmentFn
HeartBeat
(
subclass
MemoryLoss
(
ImpairmentFn
Remembering
))
Medicine.kif 2033-2033
MemoryLoss
è una
sottoclasse
di
ImpairmentFn
Ricordare
(
subclass
ThinkingDifficulty
(
ImpairmentFn
PsychologicalProcess
))
Medicine.kif 2041-2041
ThinkingDifficulty
è una
sottoclasse
di
ImpairmentFn
ProcessoPsicologico
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