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
holdsObligation
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
O argumento numero 1 de
piece
e' uma
instancia
de
Substancia
(
domain
piece
2
Substance
)
Merge.kif 952-952
O argumento numero 2 de
piece
e' uma
instancia
de
Substancia
(
instance
piece
BinaryPredicate
)
Merge.kif 950-950
piece
e' uma
instancia
de
Predicado Binario
(
subrelation
piece
part
)
Merge.kif 949-949
piece
e' uma
sub
-relacao de
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
Substancia
e' uma
instancia
de
Comida
DecafAttribute
e' um
atributo
de
Substancia
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Caffeine
Processo
Processo
e' uma
instancia
de
Remover
Processo
termina
em
Substancia
Substancia
e' um
patient
de
Processo
(=>
(
and
(
instance
?MIXTURE
Mixture
)
(
piece
?SUBSTANCE ?MIXTURE)
(
not
(
instance
?SUBSTANCE
Mixture
)))
(
instance
?SUBSTANCE
PureSubstance
))
Merge.kif 1200-1205
Substancia
e' uma
instancia
de
Mistura
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Mistura
Substancia
e' uma
instancia
de
Substancia Pura
(=>
(
and
(
instance
?OBJ
Substance
)
(
attribute
?OBJ ?ATTR)
(
piece
?PART ?OBJ))
(
attribute
?PART ?ATTR))
Merge.kif 1060-1065
Substancia
e' uma
instancia
de
Substancia
Atributo
e' um
atributo
de
Substancia
Substancia
e' uma
peca
de
Substancia
Atributo
e' um
atributo
de
Substancia
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
A
medida
de
FlowFn
Substancia
e'
Numero Real
KnotUnitOfSpeed
(s)
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
peca
de
Numero Real
KnotUnitOfSpeed
(s)
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
A
medida
de
FlowFn
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
peca
de
Medida de Comprimento
por
Duracao Temporal
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION))
(
piece
?PART ?FLUID))
(
measure
?PART
(
VelocityFn
?LENGTH ?TIME ?REGION ?DIRECTION)))
Geography.kif 4911-4915
A
medida
de
FlowFn
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Atributo Directional
Substancia
e' uma
peca
de
Substancia
a
medida
de
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Regiao
na direcao
Atributo Directional
(=>
(
and
(
subclass
?OBJECTTYPE
Substance
)
(
instance
?OBJECT ?OBJECTTYPE)
(
piece
?PART ?OBJECT))
(
instance
?PART ?OBJECTTYPE))
Merge.kif 1053-1058
Classe
e' uma
sub
-classe de
Substancia
Substancia
e' uma
instancia
de
Classe
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Classe
(=>
(
piece
?SUBSTANCE1 ?SUBSTANCE2)
(
forall
(?CLASS)
(=>
(
instance
?SUBSTANCE1 ?CLASS)
(
instance
?SUBSTANCE2 ?CLASS))))
Merge.kif 958-963
Substancia
e' uma
peca
de
Substancia
Classe
Substancia
e' uma
instancia
de
Classe
Substancia
e' uma
instancia
de
Classe
consequent
(=>
(
and
(
attribute
?F
DecafAttribute
)
(
instance
?F
Food
))
(
not
(
exists
(?C)
(
and
(
instance
?C
Caffeine
)
(
piece
?C ?F)))))
Food.kif 437-445
DecafAttribute
e' um
atributo
de
Substancia
Substancia
e' uma
instancia
de
Comida
Substancia
Substancia
e' uma
instancia
de
Caffeine
Substancia
e' uma
peca
de
Substancia
(=>
(
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
Processo
e' uma
instancia
de
Curdling
Substancia
e' um
patient
de
Processo
Substancia
e' uma
instancia
de
Colloid
Processo
Substancia
Processo
e' uma
instancia
de
Separar
Processo
e' um
sub
-processo de
Processo
Substancia
e' um
patient
de
Processo
Substancia
e' o
resultado
de
Processo
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Substancia
(=>
(
and
(
instance
?F
Food
)
(
attribute
?F
CaffeinatedAttribute
))
(
exists
(?CAF)
(
and
(
instance
?CAF
Caffeine
)
(
piece
?CAF ?F))))
Food.kif 411-418
Substancia
e' uma
instancia
de
Comida
CaffeinatedAttribute
e' um
atributo
de
Substancia
Substancia
Substancia
e' uma
instancia
de
Caffeine
Substancia
e' uma
peca
de
Substancia
(=>
(
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
Objeto
e' uma
instancia
de
Substancia
Insoluble
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Substancia
Entidade
e' uma
instancia
de
Solucao
Objeto
e' uma
peca
de
Entidade
Entidade
e' uma
peca
de
Entidade
nao %n a
forca
modal
de
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
Objeto
e' uma
instancia
de
Substancia
Soluble
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
Substancia
Entidade
e' uma
instancia
de
Solucao
Objeto
e' uma
peca
de
Entidade
Entidade
e' uma
peca
de
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
MeasureFn
?NUM
KnotUnitOfSpeed
))
(
piece
?PART ?FLUID))
(
piece
?PART
(
MeasureFn
?NUM
KnotUnitOfSpeed
)))
Geography.kif 4905-4909
A
medida
de
FlowFn
Substancia
e'
Numero Real
KnotUnitOfSpeed
(s)
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
peca
de
Numero Real
KnotUnitOfSpeed
(s)
(=>
(
and
(
measure
(
FlowFn
?FLUID)
(
SpeedFn
?LENGTH ?TIME))
(
piece
?PART ?FLUID))
(
piece
?PART
(
SpeedFn
?LENGTH ?TIME)))
Geography.kif 4899-4903
A
medida
de
FlowFn
Substancia
e'
Medida de Comprimento
por
Duracao Temporal
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
peca
de
Medida de Comprimento
por
Duracao Temporal
(=>
(
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
Humano
and
Medida de Volume
Substancia
Substancia
e' uma
instancia
de
Sangue
Humano
contem
Substancia
Humano
e' uma
instancia
de
Humano
a
medida
de
Substancia
e'
Medida de Volume
Substancia
2
Substancia
2 e' uma
instancia
de
Sangue
Humano
contem
Substancia
2
Substancia
2 e' uma
peca
de
Substancia
(=>
(
instance
?AIR
Air
)
(
piece
?AIR
EarthsAtmosphere
))
Weather.kif 37-39
Substancia
e' uma
instancia
de
Air
Substancia
e' uma
peca
de
EarthsAtmosphere
(=>
(
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
Substancia
e' uma
instancia
de
Loam
Substancia
Substancia
,
Substancia
,
Substancia
and
Substancia
Substancia
e' uma
instancia
de
Clay
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Gravel
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Sand
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Silt
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Substancia Corporal
Substancia
e' uma
peca
de
Substancia
(=>
(
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
Substancia
e' uma
instancia
de
Mistura
Substancia
Substancia
Substancia
e' uma
instancia
de
Substancia Pura
Substancia
e' uma
instancia
de
Substancia Pura
Substancia
e'
igual
a
Substancia
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
peca
de
Substancia
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