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 and
Meat
(
domainSubclass
meatOfAnimal
2
Animal
)
Mid-level-ontology.kif 20353-20353
域子類
動物的肉
, 2 and
Animal
(
instance
meatOfAnimal
BinaryPredicate
)
Mid-level-ontology.kif 20348-20348
例
動物的肉
and
BinaryPredicate
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
是
Animal
的
meat
例
Entity
and
Meat
TimeInterval
Physical
例
Physical
and
Animal
飾面
TimeInterval
and
何時
Physical
持有期間
TimeInterval
and
部分
Entity
and
Physical
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
例
Entity
and
Meat
子類
Meat
and
海鮮
Organism
Entity
EA and
Animal
Meat
是
Animal
的
meat
例
Organism
and
Animal
例
Entity
EA and
水體
棲息
Organism
and
Entity
EA
(=>
(
instance
?C
Calamari
)
(
exists
(?S)
(
and
(
meatOfAnimal
?S
Squid
)
(
material
?S ?C))))
Food.kif 2410-2415
例
CorpuscularObject
and
Calamari
Substance
Substance
是
Squid
的
meat
材料
Substance
and
CorpuscularObject
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
魚肉
是
Fish
的
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
是
Mollusk
的
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
是
Bird
的
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