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 20377-20379
(
domainSubclass
meatOfAnimal
1
Meat
)
Mid-level-ontology.kif 20380-20380
The number 1 argument of
meat of animal
is a
subclass
of
meat
(
domainSubclass
meatOfAnimal
2
Animal
)
Mid-level-ontology.kif 20381-20381
The number 2 argument of
meat of animal
is a
subclass
of
animal
(
instance
meatOfAnimal
BinaryPredicate
)
Mid-level-ontology.kif 20376-20376
meat of animal
is an
instance
of
binary predicate
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 20383-20392
If
a kind of meat
is the
meat
of
a kind of animal
and
an entity
is an
instance
of
a kind of meat
,
then there exist
a time interval
and
a physical
such that
the physical
is an
instance
of
a kind of animal
and
the time interval
finish
es the
time
of existence of
the physical
and
the entity
is a
part
of
the physical
holds
during
the time interval
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
If
an entity
is an
instance
of
a kind of meat
and
a kind of meat
is a
subclass
of
seafood
,
then there exist
an organism
,
the entity
EA and
a kind of animal
such that
the kind of meat
is the
meat
of
a kind of animal
and
the organism
is an
instance
of
the kind of animal
and
the entity
EA is an
instance
of
body of water
and
the organism
live
s in
the entity
EA
(=>
(
instance
?C
Calamari
)
(
exists
(?S)
(
and
(
meatOfAnimal
?S
Squid
)
(
material
?S ?C))))
Food.kif 2410-2415
If
a corpuscular object
is an
instance
of
calamari
,
then there exists
a kind of substance
such that
a kind of substance
is the
meat
of
squid
and
the corpuscular object
is
made
of
the kind of substance
appearance as argument number 0
(
meatOfAnimal
Beef
Cow
)
Mid-level-ontology.kif 20396-20396
Beef
is the
meat
of
cow
(
meatOfAnimal
ChickenMeat
Chicken
)
Mid-level-ontology.kif 20400-20400
Chicken meat
is the
meat
of
chicken
(
meatOfAnimal
CrabMeat
Crab
)
Food.kif 1951-1951
Crab
is the
meat
of
crab
(
meatOfAnimal
CrayfishMeat
Crayfish
)
Food.kif 1955-1955
Crayfish
is the
meat
of
crayfish
(
meatOfAnimal
DuckMeat
Duck
)
Food.kif 2039-2039
Duck
is the
meat
of
duck
(
meatOfAnimal
FishMeat
Fish
)
Food.kif 1941-1941
Fish meat
is the
meat
of
fish
(
meatOfAnimal
GoatMeat
Goat
)
Food.kif 2589-2589
Goat meat
is the
meat
of
goat
(
meatOfAnimal
GooseMeat
Goose
)
Food.kif 2043-2043
Goose
is the
meat
of
goose
(
meatOfAnimal
LambMeat
Lamb
)
Economy.kif 4955-4955
Lamb meat
is the
meat
of
lamb
(
meatOfAnimal
LobsterMeat
Lobster
)
Food.kif 1960-1960
Lobster
is the
meat
of
lobster
(
meatOfAnimal
MolluskMeat
Mollusk
)
Food.kif 1986-1986
Mollusk
is the
meat
of
mollusk
(
meatOfAnimal
Mutton
Sheep
)
Economy.kif 4960-4960
Mutton
is the
meat
of
sheep
(
meatOfAnimal
OctopusMeat
Octopus
)
Mid-level-ontology.kif 30529-30529
Octopus
is the
meat
of
octopus
(
meatOfAnimal
OysterMeat
Oyster
)
Food.kif 2004-2004
Oyster
is the
meat
of
oyster
(
meatOfAnimal
Pork
Pig
)
Mid-level-ontology.kif 20403-20403
Pork
is the
meat
of
pig
(
meatOfAnimal
PoultryMeat
Bird
)
Food.kif 2033-2033
Poultry
is the
meat
of
bird
(
meatOfAnimal
PrawnMeat
Prawn
)
Food.kif 1964-1964
Shrimp
is the
meat
of
shrimp
(
meatOfAnimal
QuailMeat
QuailBird
)
Food.kif 2054-2054
Quail
is the
meat
of
quail bird
(
meatOfAnimal
ScallopMeat
Scallop
)
Food.kif 2008-2008
Scallop
is the
meat
of
scallop
(
meatOfAnimal
SquidMeat
Squid
)
Food.kif 2021-2021
Squid
is the
meat
of
squid
(
meatOfAnimal
TurkeyMeat
TurkeyBird
)
Food.kif 2047-2047
Turkey meat
is the
meat
of
turkey bird
(
meatOfAnimal
Veal
Calf
)
Economy.kif 4973-4973
Veal
is the
meat
of
calf
(
meatOfAnimal
WaterBuffaloMeat
WaterBuffalo
)
Economy.kif 4976-4976
Water buffalo meat
is the
meat
of
water buffalo
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
meatOfAnimal