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
The number 1 argument of
piece
is an
instance
of
substance
(
domain
piece
2
Substance
)
Merge.kif 952-952
The number 2 argument of
piece
is an
instance
of
substance
(
instance
piece
BinaryPredicate
)
Merge.kif 950-950
piece
is an
instance
of
binary predicate
(
subrelation
piece
part
)
Merge.kif 949-949
piece
is a
subrelation
of
part
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
If
a substance
is an
instance
of
food
and
decaf
is an
attribute
of
the substance
and
another substance
is a
piece
of
the substance
and
the other substance
is an
instance
of
caffeine
,
then there exists
a process
such that
the process
is an
instance
of
removing
and
the process
end
s up at
the substance
and
the other substance
is a
patient
of
the process
(=>
(
and
(
instance
?MIXTURE
Mixture
)
(
piece
?SUBSTANCE ?MIXTURE)
(
not
(
instance
?SUBSTANCE
Mixture
)))
(
instance
?SUBSTANCE
PureSubstance
))
Merge.kif 1200-1205
If
a substance
is an
instance
of
mixture
and
another substance
is a
piece
of
the substance
and
the other substance
is not an
instance
of
mixture
,
then
the other substance
is an
instance
of
pure substance
(=>
(
and
(
instance
?OBJ
Substance
)
(
attribute
?OBJ ?ATTR)
(
piece
?PART ?OBJ))
(
attribute
?PART ?ATTR))
Merge.kif 1060-1065
If
a substance
is an
instance
of
substance
and
an attribute
is an
attribute
of
the substance
and
another substance
is a
piece
of
the substance
,
then
the attribute
is an
attribute
of
the other substance
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
If the
measure
of the
flow
of
a substance
is
a real number
knot unit of speed
(s) and
another substance
is a
piece
of
the substance
,
then
the other substance
is a
piece
of
the real number
knot unit of speed
(s)
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
If the
measure
of the
flow
of
a substance
is
a length measure
per
a time duration
and
another substance
is a
piece
of
the substance
,
then
the other substance
is a
piece
of
the length measure
per
the time duration
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
If the
measure
of the
flow
of
a substance
is
a length measure
per
a time duration
in
a region
in the direction
a directional attribute
and
another substance
is a
piece
of
the substance
,
then the
measure
of
the other substance
is
the length measure
per
the time duration
in
the region
in the direction
the directional attribute
(=>
(
and
(
subclass
?OBJECTTYPE
Substance
)
(
instance
?OBJECT ?OBJECTTYPE)
(
piece
?PART ?OBJECT))
(
instance
?PART ?OBJECTTYPE))
Merge.kif 1053-1058
If
a class
is a
subclass
of
substance
and
a substance
is an
instance
of
the class
and
another substance
is a
piece
of
the substance
,
then
the other substance
is an
instance
of
the class
(=>
(
piece
?SUBSTANCE1 ?SUBSTANCE2)
(
forall
(?CLASS)
(=>
(
instance
?SUBSTANCE1 ?CLASS)
(
instance
?SUBSTANCE2 ?CLASS))))
Merge.kif 958-963
If
a substance
is a
piece
of
another substance
,
then for all
a class
if
the substance
is an
instance
of
the class
,
then
the other substance
is an
instance
of
the class
consequent
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
If
decaf
is an
attribute
of
a substance
and
the substance
is an
instance
of
food
,
then there doesn't exist
another substance
such that
the other substance
is an
instance
of
caffeine
and
the other substance
is a
piece
of
the 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
If
a process
is an
instance
of
curdling
and
a substance
is a
patient
of
the process
and
the substance
is an
instance
of
colloid
,
then there exist
another process
and
another substance
such that
the other process
is an
instance
of
separating
and
the other process
is a
subprocess
of
the process
and
the substance
is a
patient
of
the other process
and
the other substance
is a
result
of
the other process
and
the other substance
is a
piece
of
the substance
and
the other substance
is an
instance
of
substance
(=>
(
and
(
instance
?F
Food
)
(
attribute
?F
CaffeinatedAttribute
))
(
exists
(?CAF)
(
and
(
instance
?CAF
Caffeine
)
(
piece
?CAF ?F))))
Food.kif 411-418
If
a substance
is an
instance
of
food
and
caffeinated
is an
attribute
of
the substance
,
then there exists
another substance
such that
the other substance
is an
instance
of
caffeine
and
the other substance
is a
piece
of
the 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
If
an object
is an
instance
of
substance
and
insoluble
is an
attribute
of
the object
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
substance
and
the other entity
is an
instance
of
solution
and
the object
is a
piece
of
the other entity
and
the entity
is a
piece
of
the other entity
doesn't have the
modal
force
of
possibility
(=>
(
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
If
an object
is an
instance
of
substance
and
soluble
is an
attribute
of
the object
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
substance
and
the other entity
is an
instance
of
solution
and
the object
is a
piece
of
the other entity
and
the entity
is a
piece
of
the other entity
has the
modal
force
of
possibility
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
If the
measure
of the
flow
of
a substance
is
a real number
knot unit of speed
(s) and
another substance
is a
piece
of
the substance
,
then
the other substance
is a
piece
of
the real number
knot unit of speed
(s)
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
If the
measure
of the
flow
of
a substance
is
a length measure
per
a time duration
and
another substance
is a
piece
of
the substance
,
then
the other substance
is a
piece
of
the length measure
per
the time duration
(=>
(
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
If
a human
has
a volume measure
of blood,
then there exists
a substance
such that
the substance
is an
instance
of
blood
and
the human
contain
s
the substance
and
the human
is an
instance
of
human
and the
measure
of
the substance
is
the volume measure
and there doesn't exist
the substance
2 such that
the substance
2 is an
instance
of
blood
and
the human
contain
s
the substance
2 and
the substance
2 is not a
piece
of
the substance
(=>
(
instance
?AIR
Air
)
(
piece
?AIR
EarthsAtmosphere
))
Weather.kif 37-39
If
a substance
is an
instance
of
air
,
then
the substance
is a
piece
of
earths atmosphere
(=>
(
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
If
a substance
is an
instance
of
loam
,
then there exist
another substance
,
a third substance
,, ,
a fourth substance
,, ,
a fifth substance
and
a sixth substance
such that
the other substance
is an
instance
of
clay
and
the other substance
is a
piece
of
the substance
and
the fourth substance
is an
instance
of
gravel
and
the fourth substance
is a
piece
of
the substance
and
the third substance
is an
instance
of
sand
and
the third substance
is a
piece
of
the substance
and
the fifth substance
is an
instance
of
silt
and
the fifth substance
is a
piece
of
the substance
and
the sixth substance
is an
instance
of
body substance
and
the sixth substance
is a
piece
of
the 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
If
a substance
is an
instance
of
mixture
,
then there exist
another substance
and
a third substance
such that
the other substance
is an
instance
of
pure substance
and
the third substance
is an
instance
of
pure substance
and
the other substance
is not
equal
to
the third substance
and
the other substance
is a
piece
of
the substance
and
the third substance
is a
piece
of
the 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