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
meatOfAnimal
の数値 1 引数は
肉
の
subclass
では %n
(
domainSubclass
meatOfAnimal
2
Animal
)
Mid-level-ontology.kif 20353-20353
meatOfAnimal
の数値 2 引数は
動物
の
subclass
では %n
(
instance
meatOfAnimal
BinaryPredicate
)
Mid-level-ontology.kif 20348-20348
meatOfAnimal
は
2進述語
の
instance
では %n
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
meatOfAnimal
肉
and
動物
エンティティー
は
肉
の
instance
では %n
時間間隔
物理
物理
は
動物
の
instance
では %n
時間間隔
は
物理
の
time
の existence を
finish
es %n{ない}
エンティティー
は
物理
の
part
では %n は
時間間隔
の
during
holds %n{ない}
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
では %n
肉
は
Seafood
の
subclass
では %n
物
エンティティー
EA and
動物
meatOfAnimal
肉
and
動物
物
は
動物
の
instance
では %n
エンティティー
EA は
BodyOfWater
の
instance
では %n
物
は
エンティティー
EA に
live
s %n{ない}
(=>
(
instance
?C
Calamari
)
(
exists
(?S)
(
and
(
meatOfAnimal
?S
Squid
)
(
material
?S ?C))))
Food.kif 2410-2415
微粒子オブジェクト
は
Calamari
の
instance
では %n
物質
meatOfAnimal
物質
and
Squid
物質
は
微粒子オブジェクト
で
made
%n
appearance as argument number 0
(
meatOfAnimal
Beef
Cow
)
Mid-level-ontology.kif 20368-20368
meatOfAnimal
Beef
and
Cow
(
meatOfAnimal
ChickenMeat
Chicken
)
Mid-level-ontology.kif 20372-20372
meatOfAnimal
ChickenMeat
and
Chicken
(
meatOfAnimal
CrabMeat
Crab
)
Food.kif 1951-1951
meatOfAnimal
CrabMeat
and
Crab
(
meatOfAnimal
CrayfishMeat
Crayfish
)
Food.kif 1955-1955
meatOfAnimal
CrayfishMeat
and
Crayfish
(
meatOfAnimal
DuckMeat
Duck
)
Food.kif 2039-2039
meatOfAnimal
DuckMeat
and
Duck
(
meatOfAnimal
FishMeat
Fish
)
Food.kif 1941-1941
meatOfAnimal
FishMeat
and
魚
(
meatOfAnimal
GoatMeat
Goat
)
Food.kif 2589-2589
meatOfAnimal
GoatMeat
and
Goat
(
meatOfAnimal
GooseMeat
Goose
)
Food.kif 2043-2043
meatOfAnimal
GooseMeat
and
Goose
(
meatOfAnimal
LambMeat
Lamb
)
Economy.kif 4955-4955
meatOfAnimal
LambMeat
and
Lamb
(
meatOfAnimal
LobsterMeat
Lobster
)
Food.kif 1960-1960
meatOfAnimal
LobsterMeat
and
Lobster
(
meatOfAnimal
MolluskMeat
Mollusk
)
Food.kif 1986-1986
meatOfAnimal
MolluskMeat
and
軟体動物
(
meatOfAnimal
Mutton
Sheep
)
Economy.kif 4960-4960
meatOfAnimal
Mutton
and
Sheep
(
meatOfAnimal
OctopusMeat
Octopus
)
Mid-level-ontology.kif 30493-30493
meatOfAnimal
OctopusMeat
and
Octopus
(
meatOfAnimal
OysterMeat
Oyster
)
Food.kif 2004-2004
meatOfAnimal
OysterMeat
and
Oyster
(
meatOfAnimal
Pork
Pig
)
Mid-level-ontology.kif 20375-20375
meatOfAnimal
Pork
and
Pig
(
meatOfAnimal
PoultryMeat
Bird
)
Food.kif 2033-2033
meatOfAnimal
PoultryMeat
and
鳥
(
meatOfAnimal
PrawnMeat
Prawn
)
Food.kif 1964-1964
meatOfAnimal
PrawnMeat
and
Prawn
(
meatOfAnimal
QuailMeat
QuailBird
)
Food.kif 2054-2054
meatOfAnimal
QuailMeat
and
QuailBird
(
meatOfAnimal
ScallopMeat
Scallop
)
Food.kif 2008-2008
meatOfAnimal
ScallopMeat
and
Scallop
(
meatOfAnimal
SquidMeat
Squid
)
Food.kif 2021-2021
meatOfAnimal
SquidMeat
and
Squid
(
meatOfAnimal
TurkeyMeat
TurkeyBird
)
Food.kif 2047-2047
meatOfAnimal
TurkeyMeat
and
TurkeyBird
(
meatOfAnimal
Veal
Calf
)
Economy.kif 4973-4973
meatOfAnimal
Veal
and
Calf
(
meatOfAnimal
WaterBuffaloMeat
WaterBuffalo
)
Economy.kif 4976-4976
meatOfAnimal
WaterBuffaloMeat
and
WaterBuffalo
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