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
(
domainSubclass
meatOfAnimal
2
Animal
)
Mid-level-ontology.kif 20381-20381
(
instance
meatOfAnimal
BinaryPredicate
)
Mid-level-ontology.kif 20376-20376
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
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
(=>
(
instance
?C
Calamari
)
(
exists
(?S)
(
and
(
meatOfAnimal
?S
Squid
)
(
material
?S ?C))))
Food.kif 2410-2415
appearance as argument number 0
(
meatOfAnimal
Beef
Cow
)
Mid-level-ontology.kif 20396-20396
(
meatOfAnimal
ChickenMeat
Chicken
)
Mid-level-ontology.kif 20400-20400
(
meatOfAnimal
CrabMeat
Crab
)
Food.kif 1951-1951
(
meatOfAnimal
CrayfishMeat
Crayfish
)
Food.kif 1955-1955
(
meatOfAnimal
DuckMeat
Duck
)
Food.kif 2039-2039
(
meatOfAnimal
FishMeat
Fish
)
Food.kif 1941-1941
(
meatOfAnimal
GoatMeat
Goat
)
Food.kif 2589-2589
(
meatOfAnimal
GooseMeat
Goose
)
Food.kif 2043-2043
(
meatOfAnimal
LambMeat
Lamb
)
Economy.kif 4955-4955
(
meatOfAnimal
LobsterMeat
Lobster
)
Food.kif 1960-1960
(
meatOfAnimal
MolluskMeat
Mollusk
)
Food.kif 1986-1986
(
meatOfAnimal
Mutton
Sheep
)
Economy.kif 4960-4960
(
meatOfAnimal
OctopusMeat
Octopus
)
Mid-level-ontology.kif 30529-30529
(
meatOfAnimal
OysterMeat
Oyster
)
Food.kif 2004-2004
(
meatOfAnimal
Pork
Pig
)
Mid-level-ontology.kif 20403-20403
(
meatOfAnimal
PoultryMeat
Bird
)
Food.kif 2033-2033
(
meatOfAnimal
PrawnMeat
Prawn
)
Food.kif 1964-1964
(
meatOfAnimal
QuailMeat
QuailBird
)
Food.kif 2054-2054
(
meatOfAnimal
ScallopMeat
Scallop
)
Food.kif 2008-2008
(
meatOfAnimal
SquidMeat
Squid
)
Food.kif 2021-2021
(
meatOfAnimal
TurkeyMeat
TurkeyBird
)
Food.kif 2047-2047
(
meatOfAnimal
Veal
Calf
)
Economy.kif 4973-4973
(
meatOfAnimal
WaterBuffaloMeat
WaterBuffalo
)
Economy.kif 4976-4976
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