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
Die Zahl 1 Argument von
stueck
ist ein
fall
von
Substance
%n{nicht}
(
domain
piece
2
Substance
)
Merge.kif 952-952
Die Zahl 2 Argument von
stueck
ist ein
fall
von
Substance
%n{nicht}
(
instance
piece
BinaryPredicate
)
Merge.kif 950-950
stueck
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
piece
part
)
Merge.kif 949-949
stueck
ist eine
teilrelation
von
teil
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
Wenn
Substance
ist ein
fall
von
Food
%n{nicht} und
DecafAttribute
ist ein
attribut
von
** Substance
%n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht} und
** ** Substance
ist ein
fall
von
Caffeine
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Removing
%n{nicht} und
** Process
endet an
** Substance
%n{nicht} und
** ** Substance
ist ein
patient
von
** Process
%n{nicht}
(=>
(
and
(
instance
?MIXTURE
Mixture
)
(
piece
?SUBSTANCE ?MIXTURE)
(
not
(
instance
?SUBSTANCE
Mixture
)))
(
instance
?SUBSTANCE
PureSubstance
))
Merge.kif 1200-1205
Wenn
Substance
ist ein
fall
von
Mixture
%n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht} und
** ** Substance
ist ein
fall
von
Mixture
nicht,
dann
** ** Substance
ist ein
fall
von
PureSubstance
%n{nicht}
(=>
(
and
(
instance
?OBJ
Substance
)
(
attribute
?OBJ ?ATTR)
(
piece
?PART ?OBJ))
(
attribute
?PART ?ATTR))
Merge.kif 1060-1065
Wenn
Substance
ist ein
fall
von
Substance
%n{nicht} und
Attribute
ist ein
attribut
von
** Substance
%n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann
** Attribute
ist ein
attribut
von
** ** Substance
%n{nicht}
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
Wenn das
mass
von
FlowFn
Substance
ist
RealNumber
KnotUnitOfSpeed
(s) %n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann
** ** Substance
ist ein
stueck
von
** RealNumber
KnotUnitOfSpeed
(s) %n{nicht}
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
Wenn das
mass
von
FlowFn
Substance
ist
LengthMeasure
pro
&2 %n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann
** ** Substance
ist ein
stueck
von
** LengthMeasure
pro
&2 %n{nicht}
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
Wenn das
mass
von
FlowFn
Substance
ist
LengthMeasure
pro
&2 in in der Richtung %n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann das
mass
von
** ** Substance
ist
** LengthMeasure
pro
&2 in in der Richtung %n{nicht}
(=>
(
and
(
subclass
?OBJECTTYPE
Substance
)
(
instance
?OBJECT ?OBJECTTYPE)
(
piece
?PART ?OBJECT))
(
instance
?PART ?OBJECTTYPE))
Merge.kif 1053-1058
Wenn
Class
ist eine
teilkategorie
von
Substance
und
Substance
ist ein
fall
von
** Class
%n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann
** ** Substance
ist ein
fall
von
** Class
%n{nicht}
(=>
(
piece
?SUBSTANCE1 ?SUBSTANCE2)
(
forall
(?CLASS)
(=>
(
instance
?SUBSTANCE1 ?CLASS)
(
instance
?SUBSTANCE2 ?CLASS))))
Merge.kif 958-963
Wenn
Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann fuer alle
Class
wenn
** Substance
ist ein
fall
von
** Class
%n{nicht},
dann
** ** Substance
ist ein
fall
von
** Class
%n{nicht}
consequent
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
Wenn
DecafAttribute
ist ein
attribut
von
Substance
%n{nicht} und
** Substance
ist ein
fall
von
Food
%n{nicht},
dann es gibt nicht
** Substance
um
** ** Substance
ist ein
fall
von
Caffeine
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Curdling
%n{nicht} und
Substance
ist ein
patient
von
** Process
%n{nicht} und
** Substance
ist ein
fall
von
Colloid
%n{nicht},
dann es gibt
** Process
und
** Substance
um
** ** Process
ist ein
fall
von
Separating
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** Substance
ist ein
patient
von
** ** Process
%n{nicht} und
** ** Substance
ist ein
resultat
von
** ** Process
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht} und
** ** Substance
ist ein
fall
von
Substance
%n{nicht}
(=>
(
and
(
instance
?F
Food
)
(
attribute
?F
CaffeinatedAttribute
))
(
exists
(?CAF)
(
and
(
instance
?CAF
Caffeine
)
(
piece
?CAF ?F))))
Food.kif 411-418
Wenn
Substance
ist ein
fall
von
Food
%n{nicht} und
CaffeinatedAttribute
ist ein
attribut
von
** Substance
%n{nicht},
dann es gibt
** Substance
um
** ** Substance
ist ein
fall
von
Caffeine
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Substance
%n{nicht} und
Insoluble
ist ein
attribut
von
** Object
%n{nicht},
dann nicht die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Substance
%n{nicht} und
** ** entity
ist ein
fall
von
Solution
%n{nicht} und
** Object
ist ein
stueck
von
** ** entity
%n{nicht} und
** entity
ist ein
stueck
von
** ** entity
%n{nicht} hat die modale Kraft von
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
Wenn
Object
ist ein
fall
von
Substance
%n{nicht} und
Soluble
ist ein
attribut
von
** Object
%n{nicht},
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Substance
%n{nicht} und
** ** entity
ist ein
fall
von
Solution
%n{nicht} und
** Object
ist ein
stueck
von
** ** entity
%n{nicht} und
** entity
ist ein
stueck
von
** ** entity
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
Wenn das
mass
von
FlowFn
Substance
ist
RealNumber
KnotUnitOfSpeed
(s) %n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann
** ** Substance
ist ein
stueck
von
** RealNumber
KnotUnitOfSpeed
(s) %n{nicht}
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
Wenn das
mass
von
FlowFn
Substance
ist
LengthMeasure
pro
&2 %n{nicht} und
** Substance
ist ein
stueck
von
** Substance
%n{nicht},
dann
** ** Substance
ist ein
stueck
von
** LengthMeasure
pro
&2 %n{nicht}
(=>
(
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
Wenn
bloodVolume
Human
and
VolumeMeasure
,
dann es gibt
Substance
um
** Substance
ist ein
fall
von
Blood
%n{nicht} und
contains
** Human
and
** Substance
und
** Human
ist ein
fall
von
Human
%n{nicht} und das
mass
von
** Substance
ist
** VolumeMeasure
%n{nicht} und es gibt nicht
** Substance
2 um
** Substance
2 ist ein
fall
von
Blood
%n{nicht} und
contains
** Human
and
** Substance
2 und
** Substance
2 ist ein
stueck
von
** Substance
nicht
(=>
(
instance
?AIR
Air
)
(
piece
?AIR
EarthsAtmosphere
))
Weather.kif 37-39
Wenn
Substance
ist ein
fall
von
Air
%n{nicht},
dann
** Substance
ist ein
stueck
von
EarthsAtmosphere
%n{nicht}
(=>
(
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
Wenn
Substance
ist ein
fall
von
Loam
%n{nicht},
dann es gibt
** Substance
,
** Substance
,, ,
** Substance
,, ,
** Substance
, and und
** Substance
um
** ** Substance
ist ein
fall
von
Clay
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht} und
** ** Substance
ist ein
fall
von
Gravel
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht} und
** ** Substance
ist ein
fall
von
Sand
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht} und
** ** Substance
ist ein
fall
von
Silt
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht} und
** ** Substance
ist ein
fall
von
BodySubstance
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht}
(=>
(
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
Wenn
Substance
ist ein
fall
von
Mixture
%n{nicht},
dann es gibt
** Substance
und
** Substance
um
** ** Substance
ist ein
fall
von
PureSubstance
%n{nicht} und
** ** Substance
ist ein
fall
von
PureSubstance
%n{nicht} und
** ** Substance
ist gleich
** ** Substance
nicht und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht} und
** ** Substance
ist ein
stueck
von
** Substance
%n{nicht}
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