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 29838-29839
(
domain
approximateValue
1
RealNumber
)
Mid-level-ontology.kif 29835-29835
approximateValue
的 1 数量 是
实数
的
instance
(
domain
approximateValue
2
RealNumber
)
Mid-level-ontology.kif 29836-29836
approximateValue
的 2 数量 是
实数
的
instance
(
instance
approximateValue
BinaryPredicate
)
Mid-level-ontology.kif 29834-29834
approximateValue
是
二元谓语
的
instance
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
实数
and
另一个 实数
,
然后
那个 实数
equal
那个 另外 实数
的声明 has
容易
的语气
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N1 ?N2))
Unlikely
))
Mid-level-ontology.kif 29847-29853
如果
approximateValue
实数
and
另一个 实数
,
然后 0.9 是
greaterThan
那个 实数
和
那个 另外 实数
的声明 has
较不可能
的语气
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N2 ?N1))
Unlikely
))
Mid-level-ontology.kif 29855-29861
如果
approximateValue
实数
and
另一个 实数
,
然后 0.9 是
greaterThan
那个 另外 实数
和
那个 实数
的声明 has
较不可能
的语气
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
实数
测量单位
,
有点 物质
,
另一个 实数
那个 测量单位
2 and
混合物
和
有点 物质
I 是
那个 有点 物质
的
instance
和
那个 有点 物质
I 是
那个 混合物
的
part
和
那个 有点 物质
I 的
measure
是
第三 实数
那个 测量单位
3 和
那个 有点 物质
I 是
那个 混合物
的
part
和
那个 有点 物质
I2 不 是
那个 有点 物质
的
instance
和
那个 有点 物质
I 不
equal
那个 有点 物质
IE2 和
那个 有点 物质
I2 是
那个 混合物
的
part
和
那个 混合物
的
measure
是
那个 另外 实数
那个 测量单位
2,
然后
approximateValue
那个 实数
and
那个 第三 实数
(=>
(
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
如果
客体
是
Americano
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
饮用水
的
instance
和
那个 另外 物质
的
measure
是 90.0
摄氏度
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
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
如果
混合物
是
血液
的
instance
和
DeoxygenatedBlood
是
那个 混合物
的
attribute
和
concentration
实数
Milliliter
,
CarbonDioxide
, 100
Milliliter
and
那个 混合物
,
然后
approximateValue
那个 实数
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
如果
混合物
是
血液
的
instance
和
DeoxygenatedBlood
是
那个 混合物
的
attribute
和
concentration
实数
Milliliter
,
氧
, 100
Milliliter
and
那个 混合物
,
然后
approximateValue
那个 实数
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
如果
混合物
是
血液
的
instance
和
OxygenatedBlood
是
那个 混合物
的
attribute
和
concentration
实数
Milliliter
,
CarbonDioxide
, 100
Milliliter
and
那个 混合物
,
然后
approximateValue
那个 实数
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
如果
混合物
是
血液
的
instance
和
OxygenatedBlood
是
那个 混合物
的
attribute
和
concentration
实数
Milliliter
,
氧
, 100
Milliliter
and
那个 混合物
,
然后
approximateValue
那个 实数
and 20
(=>
(
and
(
instance
?B
Blood
)
(
instance
?SL
RingersLactate
)
(
tonicity
?SL ?B
(
MeasureFn
?N
Pascal
)))
(
approximateValue
?N 0.0))
Medicine.kif 5850-5855
如果
客体
是
血液
的
instance
和
另一个 客体
是
RingersLactate
的
instance
和
tonicity
那个 另外 客体
,
那个 客体
and
实数
帕斯卡
,
然后
approximateValue
那个 实数
and 0.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
AmericanRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 210))
Food.kif 547-552
如果
Food
是
咖啡豆
的
instance
和
AmericanRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
如果
Food
是
咖啡豆
的
instance
和
CinnamonRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
如果
Food
是
咖啡豆
的
instance
和
CityRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
如果
Food
是
咖啡豆
的
instance
和
FrenchRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
如果
Food
是
咖啡豆
的
instance
和
FullyCityRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
如果
Food
是
咖啡豆
的
instance
和
ItalianRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
如果
Food
是
咖啡豆
的
instance
和
NewEnglandRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
如果
Food
是
咖啡豆
的
instance
和
ViennaRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
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
如果
客体
是
Cappuccino
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
approximateValue
那个 第三 实数
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
如果
过程
是
CurdlingMilk
的
instance
和
物理
是
乳
的
instance
和
那个 物理
是
那个 过程
的
patient
,
然后 有存在
实数
,
另一个 过程
,, ,
实体
, and 和
另一个 实体
这样
那个 物理
的
measure
是
那个 实数
酸碱度
和
那个 另外 过程
是
减少
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 实数
是
那个 另外 过程
的
patient
和
那个 实数
equal
那个 实体
在
那个 另外 过程
出现 的
time
的开始
holdsDuring
和
那个 实数
equal
那个 另外 实体
在
那个 另外 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
如果
客体
是
FlatWhite
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
那个 物质
的
part
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
那个 第三 实数
是
greaterThanOrEqualTo
1.0 和
那个 第三 实数
是
lessThanOrEqualTo
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
如果
客体
是
Latte
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.21 和
approximateValue
那个 第三 实数
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
如果
圈
是
AuditoryCanal
的
instance
和
那个 圈
是
客体
的
part
和
Healthy
是
那个 客体
的
attribute
和
那个 圈
的
diameter
是
实数
毫米
,
然后
approximateValue
那个 实数
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
如果
客体
是
AuditoryCanal
的
instance
和
那个 客体
是
另一个 客体
的
part
和
Healthy
是
那个 另外 客体
的
attribute
和
那个 客体
的
length
是
实数
厘米
,
然后
approximateValue
那个 实数
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
如果
圈
是
EustachianTube
的
instance
和
那个 圈
是
客体
的
part
和
Healthy
是
那个 客体
的
attribute
和
那个 圈
的
diameter
是
实数
毫米
,
然后
approximateValue
那个 实数
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
如果
客体
是
EustachianTube
的
instance
和
那个 客体
是
另一个 客体
的
part
和
Healthy
是
那个 另外 客体
的
attribute
和
那个 客体
的
length
是
实数
厘米
,
然后
approximateValue
那个 实数
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
如果
过程
是
FoamingMilk
的
instance
和
物理
是
那个 过程
的
patient
和
那个 物理
是
ProcessedMilk
的
instance
和
另一个 过程
是
加热
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 物理
的
measure
是
实数
摄氏度
,
然后
approximateValue
那个 实数
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
如果
客体
是
人类
的
instance
和
另一个 客体
是
Rectum
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
coreBodyTemp
那个 客体
and
实数
实体
和
那个 另外 客体
的
measure
是
那个 实数
2
那个 实体
在
时间位置
holdsDuring
,
然后
approximateValue
那个 实数
and
那个 实数
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