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
Legionellosis
Sigma KEE - approximateValue
approximateValue
appearance as argument number 1
(
documentation
approximateValue
EnglishLanguage
"A relation that specifies two numbers are equal or nearly so.")
Mid-level-ontology.kif 29838-29839
(
domain
approximateValue
1
RealNumber
)
Mid-level-ontology.kif 29835-29835
Il numero 1 argomenti di
approximateValue
è un
istanza
di
NumeroReale
(
domain
approximateValue
2
RealNumber
)
Mid-level-ontology.kif 29836-29836
Il numero 2 argomenti di
approximateValue
è un
istanza
di
NumeroReale
(
instance
approximateValue
BinaryPredicate
)
Mid-level-ontology.kif 29834-29834
approximateValue
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
EnglishLanguage
approximateValue
"the approximate value of %1 is %n %2")
Mid-level-ontology.kif 29837-29837
(
termFormat
EnglishLanguage
approximateValue
"approximate value")
domainEnglishFormat.kif 65779-65779
antecedent
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29841-29845
approximateValue
NumeroReale
and
NumeroReale
l'affermazione
NumeroReale
is
uguale
a
NumeroReale
ha il modello di forza di
Likely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N1 ?N2))
Unlikely
))
Mid-level-ontology.kif 29847-29853
approximateValue
NumeroReale
and
NumeroReale
l'affermazione 0.9 è
pi
ù grande di
NumeroReale
+
NumeroReale
ha il modello di forza di
Unlikely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N2 ?N1))
Unlikely
))
Mid-level-ontology.kif 29855-29861
approximateValue
NumeroReale
and
NumeroReale
l'affermazione 0.9 è
pi
ù grande di
NumeroReale
+
NumeroReale
ha il modello di forza di
Unlikely
consequent
(=>
(
and
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
concentration
NumeroReale
Unit�DiMisura
(s,
Sostanza
,
NumeroReale
Unit�DiMisura
2(s and
Mistura
Sostanza
I è un'
istanza
di
Sostanza
Sostanza
I è una
parte
di
Mistura
la
misura
Sostanza
I è
NumeroReale
Unit�DiMisura
3(s
Sostanza
I è una
parte
di
Mistura
Sostanza
I2 è un'
istanza
di
Sostanza
Sostanza
I is
uguale
a
Sostanza
IE2
Sostanza
I2 è una
parte
di
Mistura
la
misura
Mistura
è
NumeroReale
Unit�DiMisura
2(s
approximateValue
NumeroReale
and
NumeroReale
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1321-1332
Oggetto
è un'
istanza
di
Americano
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
DrinkingWater
la
misura
Sostanza
è 90.0
CelsiusDegree
(s
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.15
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
DeoxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
CarbonDioxide
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 4))
Medicine.kif 5775-5782
Mistura
è un'
istanza
di
Sangue
attribute
Mistura
and
DeoxygenatedBlood
concentration
NumeroReale
Milliliter
(s,
CarbonDioxide
, 100
Milliliter
(s and
Mistura
approximateValue
NumeroReale
and 4
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
DeoxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 14))
Medicine.kif 5766-5773
Mistura
è un'
istanza
di
Sangue
attribute
Mistura
and
DeoxygenatedBlood
concentration
NumeroReale
Milliliter
(s,
Oxygen
, 100
Milliliter
(s and
Mistura
approximateValue
NumeroReale
and 14
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
CarbonDioxide
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 5))
Medicine.kif 5752-5759
Mistura
è un'
istanza
di
Sangue
attribute
Mistura
and
OxygenatedBlood
concentration
NumeroReale
Milliliter
(s,
CarbonDioxide
, 100
Milliliter
(s and
Mistura
approximateValue
NumeroReale
and 5
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 20))
Medicine.kif 5743-5750
Mistura
è un'
istanza
di
Sangue
attribute
Mistura
and
OxygenatedBlood
concentration
NumeroReale
Milliliter
(s,
Oxygen
, 100
Milliliter
(s and
Mistura
approximateValue
NumeroReale
and 20
(=>
(
and
(
instance
?B
Blood
)
(
instance
?SL
RingersLactate
)
(
tonicity
?SL ?B
(
MeasureFn
?N
Pascal
)))
(
approximateValue
?N 0.0))
Medicine.kif 5850-5855
Oggetto
è un'
istanza
di
Sangue
Oggetto
è un'
istanza
di
RingersLactate
tonicity
Oggetto
,
Oggetto
and
NumeroReale
Pascal
(s
approximateValue
NumeroReale
and 0.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
AmericanRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 210))
Food.kif 547-552
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
AmericanRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
CinnamonRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
CityRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
FrenchRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
FullyCityRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
ItalianRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
NewEnglandRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
ViennaRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 230
(=>
(
and
(
instance
?C
Cappuccino
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
approximateValue
?L 20.0)))
Food.kif 1285-1301
Oggetto
è un'
istanza
di
Cappuccino
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
MilkFoam
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
OggettoIntegro
è una
parte
di
Sostanza
OggettoIntegro
è un'
istanza
di
Bubble
il
vertice
Sostanza
è
OggettoIntegro
la
misura
OggettoIntegro
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.15
approximateValue
NumeroReale
and 20.0
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
Processo
è un'
istanza
di
CurdlingMilk
Entit�Concreta
è un'
istanza
di
Milk
Entit�Concreta
è un
paziente
di
Processo
NumeroReale
Processo
,
Entit�
and
Entit�
la
misura
Entit�Concreta
è
NumeroReale
PHValue
(s
Processo
è un'
istanza
di
Diminuzione
Processo
è un
sottoprocesso
di
Processo
NumeroReale
è un
paziente
di
Processo
NumeroReale
is
uguale
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
NumeroReale
is
uguale
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1367-1385
Oggetto
è un'
istanza
di
FlatWhite
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
MilkFoam
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
OggettoIntegro
è una
parte
di
Sostanza
OggettoIntegro
è una
parte
di
Sostanza
il
vertice
Sostanza
è
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Bubble
la
misura
OggettoIntegro
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.15
NumeroReale
è
pi
ù grande di o uguale a 1.0
NumeroReale
è
minore
o uguale a 20.0
(=>
(
and
(
instance
?C
Latte
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.21)
(
approximateValue
?L 12.0)))
Food.kif 1399-1415
Oggetto
è un'
istanza
di
Latte
Sostanza
è una
parte
di
Oggetto
Sostanza
è una
parte
di
Oggetto
Sostanza
è un'
istanza
di
Espresso
Sostanza
è un'
istanza
di
MilkFoam
mixtureRatio
Sostanza
,
Sostanza
,
NumeroReale
,
NumeroReale
and
Liter
OggettoIntegro
è una
parte
di
Sostanza
OggettoIntegro
è un'
istanza
di
Bubble
il
vertice
Sostanza
è
OggettoIntegro
la
misura
OggettoIntegro
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.03
approximateValue
NumeroReale
and 0.21
approximateValue
NumeroReale
and 12.0
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
diameter
?ET
(
MeasureFn
?N
Millimeter
)))
(
approximateValue
?N 0.7))
Anatomy.kif 1576-1583
Circle
è un'
istanza
di
AuditoryCanal
Circle
è una
parte
di
Oggetto
attribute
Oggetto
and
Healthy
il
diametro
di
Circle
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 0.7
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 2.5))
Anatomy.kif 1567-1574
Oggetto
è un'
istanza
di
AuditoryCanal
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Healthy
la
lunghezza
di
Oggetto
è
NumeroReale
Centimeter
(s
approximateValue
NumeroReale
and 2.5
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
diameter
?ET
(
MeasureFn
?N
Millimeter
)))
(
approximateValue
?N 3.0))
Anatomy.kif 1526-1533
Circle
è un'
istanza
di
EustachianTube
Circle
è una
parte
di
Oggetto
attribute
Oggetto
and
Healthy
il
diametro
di
Circle
è
NumeroReale
Millimeter
(s
approximateValue
NumeroReale
and 3.0
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 35.0))
Anatomy.kif 1517-1524
Oggetto
è un'
istanza
di
EustachianTube
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Healthy
la
lunghezza
di
Oggetto
è
NumeroReale
Centimeter
(s
approximateValue
NumeroReale
and 35.0
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?H
Heating
)
(
subProcess
?H ?FM)
(
measure
?M
(
MeasureFn
?T
CelsiusDegree
)))
(
approximateValue
?T 70.0))
Food.kif 1207-1216
Processo
è un'
istanza
di
FoamingMilk
Entit�Concreta
è un
paziente
di
Processo
Entit�Concreta
è un'
istanza
di
ProcessedMilk
Processo
è un'
istanza
di
Riscaldamento
Processo
è un
sottoprocesso
di
Processo
la
misura
Entit�Concreta
è
NumeroReale
CelsiusDegree
(s
approximateValue
NumeroReale
and 70.0
(=>
(
and
(
instance
?H
Human
)
(
instance
?R
Rectum
)
(
part
?R ?H)
(
holdsDuring
?T
(
and
(
coreBodyTemp
?H
(
MeasureFn
?N ?U))
(
measure
?R
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N ?N2))
Medicine.kif 519-530
Oggetto
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
Rectum
Oggetto
è una
parte
di
Oggetto
coreBodyTemp
Oggetto
and
NumeroReale
Entit�
(s la
misura
Oggetto
è
NumeroReale
2
Entit�
(s vales
durante
PosizioneTemporale
approximateValue
NumeroReale
and
NumeroReale
2
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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