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
meatOfAnimal
Sigma KEE - meatOfAnimal
meatOfAnimal
appearance as argument number 1
(
documentation
meatOfAnimal
EnglishLanguage
"(
meatOfAnimal
?MEATCLASS ?ANIMALCLASS) means that every instance of ?MEATCLASS was once part of some instance of ?ANIMALCLASS.")
Mid-level-ontology.kif 20349-20351
(
domainSubclass
meatOfAnimal
1
Meat
)
Mid-level-ontology.kif 20352-20352
动物的肉
的 1 数量 是
meat
的
subclass
(
domainSubclass
meatOfAnimal
2
Animal
)
Mid-level-ontology.kif 20353-20353
动物的肉
的 2 数量 是
动物
的
subclass
(
instance
meatOfAnimal
BinaryPredicate
)
Mid-level-ontology.kif 20348-20348
动物的肉
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
meatOfAnimal
"%1 是 %2 的 meat ")
domainEnglishFormat.kif 3846-3846
(
format
ChineseTraditionalLanguage
meatOfAnimal
"%1 是 %2 的 meat ")
domainEnglishFormat.kif 3845-3845
(
format
EnglishLanguage
meatOfAnimal
"%1 is the meat of %2")
domainEnglishFormat.kif 3844-3844
(
termFormat
ChineseLanguage
meatOfAnimal
"动物的肉")
domainEnglishFormat.kif 36713-36713
(
termFormat
ChineseTraditionalLanguage
meatOfAnimal
"動物的肉")
domainEnglishFormat.kif 36712-36712
(
termFormat
EnglishLanguage
meatOfAnimal
"meat of animal")
domainEnglishFormat.kif 36711-36711
antecedent
(=>
(
and
(
meatOfAnimal
?MEAT ?ANIMAL)
(
instance
?M ?MEAT))
(
exists
(?TIME ?A)
(
and
(
instance
?A ?ANIMAL)
(
finishes
?TIME
(
WhenFn
?A))
(
holdsDuring
?TIME
(
part
?M ?A)))))
Mid-level-ontology.kif 20355-20364
如果
有点 meat
是
有点 动物
的
meat
和
实体
是
有点 meat
的
instance
,
然后 有存在
时距
和
物理
这样
那个 物理
是
有点 动物
的
instance
和
那个 时距
finishes
了才到
那个 物理
出现 的
time
和
那个 实体
是
那个 物理
的
part
在
那个 时距
holdsDuring
consequent
(=>
(
and
(
instance
?S ?C)
(
subclass
?C
Seafood
))
(
exists
(?X ?SEA ?ANIMAL)
(
and
(
meatOfAnimal
?C ?ANIMAL)
(
instance
?X ?ANIMAL)
(
instance
?SEA
BodyOfWater
)
(
inhabits
?X ?SEA))))
Food.kif 1928-1937
如果
实体
是
有点 meat
的
instance
和
有点 meat
是
海鲜
的
subclass
,
然后 有存在
生物
,
那个 实体
EA, and 和
有点 动物
这样
那个 有点 meat
是
有点 动物
的
meat
和
那个 生物
是
那个 有点 动物
的
instance
和
那个 实体
EA 是
水体
的
instance
和
那个 生物
住在
那个 实体
EA
(=>
(
instance
?C
Calamari
)
(
exists
(?S)
(
and
(
meatOfAnimal
?S
Squid
)
(
material
?S ?C))))
Food.kif 2410-2415
如果
躯体性物体
是
Calamari
的
instance
,
然后 有存在
有点 物质
这样
有点 物质
是
Squid
的
meat
和
那个 有点 物质
是
那个 躯体性物体
的材料
appearance as argument number 0
(
meatOfAnimal
Beef
Cow
)
Mid-level-ontology.kif 20368-20368
牛肉
是
母牛
的
meat
(
meatOfAnimal
ChickenMeat
Chicken
)
Mid-level-ontology.kif 20372-20372
鸡肉
是
鸡
的
meat
(
meatOfAnimal
CrabMeat
Crab
)
Food.kif 1951-1951
CrabMeat
是
Crab
的
meat
(
meatOfAnimal
CrayfishMeat
Crayfish
)
Food.kif 1955-1955
CrayfishMeat
是
小龙虾
的
meat
(
meatOfAnimal
DuckMeat
Duck
)
Food.kif 2039-2039
DuckMeat
是
鸭
的
meat
(
meatOfAnimal
FishMeat
Fish
)
Food.kif 1941-1941
鱼肉
是
鱼
的
meat
(
meatOfAnimal
GoatMeat
Goat
)
Food.kif 2589-2589
GoatMeat
是
山羊
的
meat
(
meatOfAnimal
GooseMeat
Goose
)
Food.kif 2043-2043
GooseMeat
是
鹅
的
meat
(
meatOfAnimal
LambMeat
Lamb
)
Economy.kif 4955-4955
羔羊肉
是
羔羊
的
meat
(
meatOfAnimal
LobsterMeat
Lobster
)
Food.kif 1960-1960
LobsterMeat
是
Lobster
的
meat
(
meatOfAnimal
MolluskMeat
Mollusk
)
Food.kif 1986-1986
MolluskMeat
是
软体动物
的
meat
(
meatOfAnimal
Mutton
Sheep
)
Economy.kif 4960-4960
羊肉
是
羊
的
meat
(
meatOfAnimal
OctopusMeat
Octopus
)
Mid-level-ontology.kif 30493-30493
OctopusMeat
是
Octopus
的
meat
(
meatOfAnimal
OysterMeat
Oyster
)
Food.kif 2004-2004
OysterMeat
是
Oyster
的
meat
(
meatOfAnimal
Pork
Pig
)
Mid-level-ontology.kif 20375-20375
猪肉
是
猪
的
meat
(
meatOfAnimal
PoultryMeat
Bird
)
Food.kif 2033-2033
PoultryMeat
是
鸟
的
meat
(
meatOfAnimal
PrawnMeat
Prawn
)
Food.kif 1964-1964
PrawnMeat
是
虾
的
meat
(
meatOfAnimal
QuailMeat
QuailBird
)
Food.kif 2054-2054
QuailMeat
是
QuailBird
的
meat
(
meatOfAnimal
ScallopMeat
Scallop
)
Food.kif 2008-2008
ScallopMeat
是
Scallop
的
meat
(
meatOfAnimal
SquidMeat
Squid
)
Food.kif 2021-2021
SquidMeat
是
Squid
的
meat
(
meatOfAnimal
TurkeyMeat
TurkeyBird
)
Food.kif 2047-2047
火鸡肉
是
TurkeyBird
的
meat
(
meatOfAnimal
Veal
Calf
)
Economy.kif 4973-4973
小牛肉
是
小牛
的
meat
(
meatOfAnimal
WaterBuffaloMeat
WaterBuffalo
)
Economy.kif 4976-4976
水牛肉
是
水牛
的
meat
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