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
piece
Sigma KEE - piece
piece
appearance as argument number 1
(
documentation
piece
ChineseLanguage
"这是对
Substance
某些部分的一个专业常识概念。类似的同意词 有:块、大块、小块等。可参考比较
part
的另外一个子关系
component
。")
chinese_format.kif 1576-1577
(
documentation
piece
EnglishLanguage
"A specialized common sense notion of part for arbitrary parts of
Substance
s. Quasi-synonyms are: chunk, hunk, bit, etc. Compare
component
, another subrelation of
part
.")
Merge.kif 954-956
(
documentation
piece
JapaneseLanguage
"
Substance
s の任意のパーツの専門常識の概念の部分。 準同義語:チャンク、ハンク、ビット、など。
part
のもう1つの下位関係である
component
と比較 する。")
japanese_format.kif 150-152
(
documentation
piece
SpanishLanguage
"Una noción de sentido común especializada para piezas arbitrarias de
Substance
s. Los cuasi sinónimos son pedazo, trozo y cacho. Compare
component
, otra subrelación de
part
.")
spanish_format.kif 175-177
(
domain
piece
1
Substance
)
Merge.kif 951-951
域
片
, 1 and
Substance
(
domain
piece
2
Substance
)
Merge.kif 952-952
域
片
, 2 and
Substance
(
instance
piece
BinaryPredicate
)
Merge.kif 950-950
例
片
and
BinaryPredicate
(
subrelation
piece
part
)
Merge.kif 949-949
子關係
片
and
部分
appearance as argument number 2
(
format
ChineseLanguage
piece
"%1 %n 是 %2 的
piece
")
chinese_format.kif 169-169
(
format
EnglishLanguage
piece
"%1 is %n a
piece
of %2")
english_format.kif 170-170
(
format
FrenchLanguage
piece
"%1 est %n une pi�ce de %2")
french_format.kif 104-104
(
format
ItalianLanguage
piece
"%1 è %n un membro di %2")
relations-it.txt 223-223
(
format
JapaneseLanguage
piece
"%1 は %2 の
piece
では %n")
japanese_format.kif 1933-1933
(
format
PortugueseLanguage
piece
"%1 e' %n uma peca de %2")
portuguese_format.kif 56-56
(
format
cz
piece
"%1 %p{je} %n{nen�} a
piece
of %2")
relations-cz.txt 66-66
(
format
de
piece
"%1 ist ein stueck von %2 %n{nicht}")
relations-de.txt 209-209
(
format
hi
piece
"%1 %2 kaa Tukadaa %n hai")
relations-hindi.txt 261-261
(
format
ro
piece
"%1 %n{nu} este o
piece
%t{bucatã} a lui %2")
relations-ro.kif 123-123
(
format
sv
piece
"%1 är %n{inte} en bit av %2")
relations-sv.txt 105-105
(
format
tg
piece
"%1 %n ay ang bahagi ng %2")
relations-tg.txt 415-415
(
termFormat
ChineseLanguage
piece
"块")
chinese_format.kif 170-170
(
termFormat
ChineseLanguage
piece
"片")
domainEnglishFormat.kif 45798-45798
(
termFormat
ChineseTraditionalLanguage
piece
"片")
domainEnglishFormat.kif 45797-45797
(
termFormat
EnglishLanguage
piece
"piece")
domainEnglishFormat.kif 45796-45796
(
termFormat
de
piece
"stueck")
terms-de.txt 65-65
antecedent
(=>
(
and
(
instance
?F
Food
)
(
attribute
?F
DecafAttribute
)
(
piece
?C ?F)
(
instance
?C
Caffeine
))
(
exists
(?R)
(
and
(
instance
?R
Removing
)
(
destination
?R ?F)
(
patient
?R ?C))))
Food.kif 425-435
例
Substance
and
Food
attribute
Substance
and
DecafAttribute
片
Substance
and
Substance
例
Substance
and
Caffeine
Process
例
Process
and
Removing
目的地
Process
and
Substance
患者
Process
and
Substance
(=>
(
and
(
instance
?MIXTURE
Mixture
)
(
piece
?SUBSTANCE ?MIXTURE)
(
not
(
instance
?SUBSTANCE
Mixture
)))
(
instance
?SUBSTANCE
PureSubstance
))
Merge.kif 1200-1205
例
Substance
and
Mixture
片
Substance
and
Substance
例
Substance
and
Mixture
例
Substance
and
PureSubstance
(=>
(
and
(
instance
?OBJ
Substance
)
(
attribute
?OBJ ?ATTR)
(
piece
?PART ?OBJ))
(
attribute
?PART ?ATTR))
Merge.kif 1060-1065
例
Substance
and
Substance
attribute
Substance
and
Attribute
片
Substance
and
Substance
attribute
Substance
and
Attribute
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
測量
Substance
的
flow
and
測量
RealNumber
and
結速度單位
片
Substance
and
Substance
片
Substance
and
測量
RealNumber
and
結速度單位
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
測量
Substance
的
flow
and
速度
LengthMeasure
and
TimeDuration
片
Substance
and
Substance
片
Substance
and
速度
LengthMeasure
and
TimeDuration
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
測量
Substance
的
flow
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
DirectionalAttribute
片
Substance
and
Substance
測量
Substance
and
速度
LengthMeasure
,
TimeDuration
,
Region
and
DirectionalAttribute
(=>
(
and
(
subclass
?OBJECTTYPE
Substance
)
(
instance
?OBJECT ?OBJECTTYPE)
(
piece
?PART ?OBJECT))
(
instance
?PART ?OBJECTTYPE))
Merge.kif 1053-1058
子類
Class
and
Substance
例
Substance
and
Class
片
Substance
and
Substance
例
Substance
and
Class
(=>
(
piece
?SUBSTANCE1 ?SUBSTANCE2)
(
forall
(?CLASS)
(=>
(
instance
?SUBSTANCE1 ?CLASS)
(
instance
?SUBSTANCE2 ?CLASS))))
Merge.kif 958-963
片
Substance
and
Substance
Class
例
Substance
and
Class
例
Substance
and
Class
consequent
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
attribute
Substance
and
DecafAttribute
例
Substance
and
Food
Substance
例
Substance
and
Caffeine
片
Substance
and
Substance
(=>
(
and
(
instance
?C
Curdling
)
(
patient
?C ?X)
(
instance
?X
Colloid
))
(
exists
(?S ?A)
(
and
(
instance
?S
Separating
)
(
subProcess
?S ?C)
(
patient
?S ?X)
(
result
?S ?A)
(
piece
?A ?X)
(
instance
?A
Substance
))))
Food.kif 3199-3211
例
Process
and
Curdling
患者
Process
and
Substance
例
Substance
and
膠體
Process
Substance
例
Process
and
Separating
子過程
Process
and
Process
患者
Process
and
Substance
結果
Process
and
Substance
片
Substance
and
Substance
例
Substance
and
Substance
(=>
(
and
(
instance
?F
Food
)
(
attribute
?F
CaffeinatedAttribute
))
(
exists
(?CAF)
(
and
(
instance
?CAF
Caffeine
)
(
piece
?CAF ?F))))
Food.kif 411-418
例
Substance
and
Food
attribute
Substance
and
CaffeinatedAttribute
Substance
例
Substance
and
Caffeine
片
Substance
and
Substance
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Insoluble
))
(
not
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
)))
Geography.kif 7380-7392
例
Object
and
Substance
attribute
Object
and
Insoluble
模態屬性
entity
entity
例
entity
and
Substance
例
entity
and
Solution
片
Object
and
entity
片
entity
and
entity
and
可能性
(=>
(
and
(
instance
?X
Substance
)
(
attribute
?X
Soluble
))
(
modalAttribute
(
exists
(?Y ?Z)
(
and
(
instance
?Y
Substance
)
(
instance
?Z
Solution
)
(
piece
?X ?Z)
(
piece
?Y ?Z)))
Possibility
))
Geography.kif 7352-7363
例
Object
and
Substance
attribute
Object
and
Soluble
模態屬性
entity
entity
例
entity
and
Substance
例
entity
and
Solution
片
Object
and
entity
片
entity
and
entity
and
可能性
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
測量
Substance
的
flow
and
測量
RealNumber
and
結速度單位
片
Substance
and
Substance
片
Substance
and
測量
RealNumber
and
結速度單位
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
測量
Substance
的
flow
and
速度
LengthMeasure
and
TimeDuration
片
Substance
and
Substance
片
Substance
and
速度
LengthMeasure
and
TimeDuration
(=>
(
bloodVolume
?H ?V)
(
and
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
contains
?H ?B)
(
instance
?H
Human
)
(
measure
?B ?V)))
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Blood
)
(
contains
?H ?B2)
(
not
(
piece
?B2 ?B)))))))
Medicine.kif 5897-5912
bloodVolume
Human
and
VolumeMeasure
Substance
例
Substance
and
Blood
包含
Human
and
Substance
例
Human
and
Human
測量
Substance
and
VolumeMeasure
Substance
例
Substance
and
Blood
包含
Human
and
Substance
片
Substance
and
Substance
(=>
(
instance
?AIR
Air
)
(
piece
?AIR
EarthsAtmosphere
))
Weather.kif 37-39
例
Substance
and
空氣
片
Substance
and
地球的大氣
(=>
(
instance
?Loam
Loam
)
(
exists
(?Clay ?Sand ?Gravel ?Silt ?Organic)
(
and
(
instance
?Clay
Clay
)
(
piece
?Clay ?Loam)
(
instance
?Gravel
Gravel
)
(
piece
?Gravel ?Loam)
(
instance
?Sand
Sand
)
(
piece
?Sand ?Loam)
(
instance
?Silt
Silt
)
(
piece
?Silt ?Loam)
(
instance
?Organic
BodySubstance
)
(
piece
?Organic ?Loam))))
Geography.kif 4340-4353
例
Substance
and
壤土
Substance
Substance
,
Substance
,
Substance
and
Substance
例
Substance
and
粘土
片
Substance
and
Substance
例
Substance
and
礫石
片
Substance
and
Substance
例
Substance
and
砂
片
Substance
and
Substance
例
Substance
and
淤泥
片
Substance
and
Substance
例
Substance
and
BodySubstance
片
Substance
and
Substance
(=>
(
instance
?MIXTURE
Mixture
)
(
exists
(?PURE1 ?PURE2)
(
and
(
instance
?PURE1
PureSubstance
)
(
instance
?PURE2
PureSubstance
)
(
not
(
equal
?PURE1 ?PURE2))
(
piece
?PURE1 ?MIXTURE)
(
piece
?PURE2 ?MIXTURE))))
Merge.kif 1190-1198
例
Substance
and
Mixture
Substance
Substance
例
Substance
and
PureSubstance
例
Substance
and
PureSubstance
等於
Substance
and
Substance
片
Substance
and
Substance
片
Substance
and
Substance
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