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
approximateValue
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 29826-29827
(
domain
approximateValue
1
RealNumber
)
Mid-level-ontology.kif 29823-29823
域
approximateValue
, 1 and
RealNumber
(
domain
approximateValue
2
RealNumber
)
Mid-level-ontology.kif 29824-29824
域
approximateValue
, 2 and
RealNumber
(
instance
approximateValue
BinaryPredicate
)
Mid-level-ontology.kif 29822-29822
例
approximateValue
and
BinaryPredicate
appearance as argument number 2
(
format
EnglishLanguage
approximateValue
"the approximate value of %1 is %n %2")
Mid-level-ontology.kif 29825-29825
(
termFormat
EnglishLanguage
approximateValue
"approximate value")
domainEnglishFormat.kif 65779-65779
antecedent
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29829-29833
approximateValue
RealNumber
and
RealNumber
模態屬性
等於
RealNumber
and
RealNumber
and
容易
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N1 ?N2))
Unlikely
))
Mid-level-ontology.kif 29835-29841
approximateValue
RealNumber
and
RealNumber
模態屬性
比較多
0.9 and
部
RealNumber
and
RealNumber
and
較不可能
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N2 ?N1))
Unlikely
))
Mid-level-ontology.kif 29843-29849
approximateValue
RealNumber
and
RealNumber
模態屬性
比較多
0.9 and
部
RealNumber
and
RealNumber
and
較不可能
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
測量
RealNumber
and
UnitOfMeasure
,
Substance
,
測量
RealNumber
and
UnitOfMeasure
and
Mixture
例
Substance
I and
Substance
部分
Substance
I and
Mixture
測量
Substance
I and
測量
RealNumber
and
UnitOfMeasure
部分
Substance
I and
Mixture
例
Substance
I2 and
Substance
等於
Substance
I and
Substance
IE2
部分
Substance
I2 and
Mixture
測量
Mixture
and
測量
RealNumber
and
UnitOfMeasure
approximateValue
RealNumber
and
RealNumber
(=>
(
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
例
Object
and
Americano
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
飲用水
測量
Substance
and
測量
90.0 and
攝氏度
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
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
例
Mixture
and
Blood
attribute
Mixture
and
DeoxygenatedBlood
concentration
測量
RealNumber
and
Milliliter
,
CarbonDioxide
,
測量
100 and
Milliliter
and
Mixture
approximateValue
RealNumber
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
例
Mixture
and
Blood
attribute
Mixture
and
DeoxygenatedBlood
concentration
測量
RealNumber
and
Milliliter
,
氧
,
測量
100 and
Milliliter
and
Mixture
approximateValue
RealNumber
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
例
Mixture
and
Blood
attribute
Mixture
and
OxygenatedBlood
concentration
測量
RealNumber
and
Milliliter
,
CarbonDioxide
,
測量
100 and
Milliliter
and
Mixture
approximateValue
RealNumber
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
例
Mixture
and
Blood
attribute
Mixture
and
OxygenatedBlood
concentration
測量
RealNumber
and
Milliliter
,
氧
,
測量
100 and
Milliliter
and
Mixture
approximateValue
RealNumber
and 20
(=>
(
and
(
instance
?B
Blood
)
(
instance
?SL
RingersLactate
)
(
tonicity
?SL ?B
(
MeasureFn
?N
Pascal
)))
(
approximateValue
?N 0.0))
Medicine.kif 5850-5855
例
Object
and
Blood
例
Object
and
RingersLactate
tonicity
Object
,
Object
and
測量
RealNumber
and
帕斯卡
approximateValue
RealNumber
and 0.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
AmericanRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 210))
Food.kif 547-552
例
Food
and
咖啡豆
attribute
Food
and
AmericanRoast
roastedToTemperature
Food
and
RealNumber
approximateValue
RealNumber
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
例
Food
and
咖啡豆
attribute
Food
and
CinnamonRoast
roastedToTemperature
Food
and
RealNumber
approximateValue
RealNumber
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
例
Food
and
咖啡豆
attribute
Food
and
CityRoast
roastedToTemperature
Food
and
RealNumber
approximateValue
RealNumber
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
例
Food
and
咖啡豆
attribute
Food
and
FrenchRoast
roastedToTemperature
Food
and
RealNumber
approximateValue
RealNumber
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
例
Food
and
咖啡豆
attribute
Food
and
FullyCityRoast
roastedToTemperature
Food
and
RealNumber
approximateValue
RealNumber
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
例
Food
and
咖啡豆
attribute
Food
and
ItalianRoast
roastedToTemperature
Food
and
RealNumber
approximateValue
RealNumber
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
例
Food
and
咖啡豆
attribute
Food
and
NewEnglandRoast
roastedToTemperature
Food
and
RealNumber
approximateValue
RealNumber
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
例
Food
and
咖啡豆
attribute
Food
and
ViennaRoast
roastedToTemperature
Food
and
RealNumber
approximateValue
RealNumber
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
例
Object
and
Cappuccino
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
MilkFoam
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
部分
SelfConnectedObject
and
Substance
例
SelfConnectedObject
and
氣泡
上
SelfConnectedObject
and
Substance
測量
SelfConnectedObject
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
and 0.15
approximateValue
RealNumber
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
例
Process
and
CurdlingMilk
例
Physical
and
奶
患者
Process
and
Physical
RealNumber
Process
,
entity
and
entity
測量
Physical
and
測量
RealNumber
and
酸鹼度
例
Process
and
Decreasing
子過程
Process
and
Process
患者
Process
and
RealNumber
持有期間
開始
何時
Process
,
等於
RealNumber
and
entity
and
approximateValue
entity
and 6.5
持有期間
結束
何時
Process
,
等於
RealNumber
and
entity
and
approximateValue
entity
and 4.5
(=>
(
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
例
Object
and
FlatWhite
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
MilkFoam
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
部分
SelfConnectedObject
and
Substance
部分
SelfConnectedObject
and
Substance
上
SelfConnectedObject
and
Substance
例
SelfConnectedObject
and
氣泡
測量
SelfConnectedObject
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
and 0.15
大於或等於
RealNumber
and 1.0
小於或等於
RealNumber
and 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
例
Object
and
Latte
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
MilkFoam
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
部分
SelfConnectedObject
and
Substance
例
SelfConnectedObject
and
氣泡
上
SelfConnectedObject
and
Substance
測量
SelfConnectedObject
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
and 0.21
approximateValue
RealNumber
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
例
Object
and
AuditoryCanal
部分
Object
and
Object
attribute
Object
and
Healthy
直徑
Object
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
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
例
Object
and
AuditoryCanal
部分
Object
and
Object
attribute
Object
and
Healthy
length
Object
and
測量
RealNumber
and
厘米
approximateValue
RealNumber
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
例
Object
and
EustachianTube
部分
Object
and
Object
attribute
Object
and
Healthy
直徑
Object
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
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
例
Object
and
EustachianTube
部分
Object
and
Object
attribute
Object
and
Healthy
length
Object
and
測量
RealNumber
and
厘米
approximateValue
RealNumber
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
例
Process
and
FoamingMilk
患者
Process
and
Physical
例
Physical
and
ProcessedMilk
例
Process
and
Heating
子過程
Process
and
Process
測量
Physical
and
測量
RealNumber
and
攝氏度
approximateValue
RealNumber
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
例
Object
and
Human
例
Object
and
Rectum
部分
Object
and
Object
持有期間
TimePosition
and
coreBodyTemp
Object
and
測量
RealNumber
and
entity
測量
Object
and
測量
RealNumber
and
entity
approximateValue
RealNumber
and
RealNumber
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