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 20350-20352
(
domainSubclass
meatOfAnimal
1
Meat
)
Mid-level-ontology.kif 20353-20353
Il numero 1 argomento
meatOfAnimal
è una
sottoclasse
di
Carne
(
domainSubclass
meatOfAnimal
2
Animal
)
Mid-level-ontology.kif 20354-20354
Il numero 2 argomento
meatOfAnimal
è una
sottoclasse
di
Animale
(
instance
meatOfAnimal
BinaryPredicate
)
Mid-level-ontology.kif 20349-20349
meatOfAnimal
è un'
istanza
di
PredicatoBinario
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 20356-20365
meatOfAnimal
Carne
and
Animale
Entit�
è un'
istanza
di
Carne
IntervalloTemporale
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Animale
IntervalloTemporale
finisce
es il
tempo
di esistenza di
Entit�Concreta
Entit�
è una
parte
di
Entit�Concreta
vales
durante
IntervalloTemporale
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
Entit�
è un'
istanza
di
Carne
Carne
è una
sottoclasse
di
Seafood
Organismo
Entit�
EA and
Animale
meatOfAnimal
Carne
and
Animale
Organismo
è un'
istanza
di
Animale
Entit�
EA è un'
istanza
di
BodyOfWater
Organismo
abita
s in
Entit�
EA
(=>
(
instance
?C
Calamari
)
(
exists
(?S)
(
and
(
meatOfAnimal
?S
Squid
)
(
material
?S ?C))))
Food.kif 2410-2415
OggettoCorpuscolare
è un'
istanza
di
Calamari
Sostanza
meatOfAnimal
Sostanza
and
Squid
Sostanza
è
fatto
di
OggettoCorpuscolare
appearance as argument number 0
(
meatOfAnimal
Beef
Cow
)
Mid-level-ontology.kif 20369-20369
meatOfAnimal
Beef
and
Cow
(
meatOfAnimal
ChickenMeat
Chicken
)
Mid-level-ontology.kif 20373-20373
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
Pesce
(
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
Mollusco
(
meatOfAnimal
Mutton
Sheep
)
Economy.kif 4960-4960
meatOfAnimal
Mutton
and
Sheep
(
meatOfAnimal
OctopusMeat
Octopus
)
Mid-level-ontology.kif 30505-30505
meatOfAnimal
OctopusMeat
and
Octopus
(
meatOfAnimal
OysterMeat
Oyster
)
Food.kif 2004-2004
meatOfAnimal
OysterMeat
and
Oyster
(
meatOfAnimal
Pork
Pig
)
Mid-level-ontology.kif 20376-20376
meatOfAnimal
Pork
and
Pig
(
meatOfAnimal
PoultryMeat
Bird
)
Food.kif 2033-2033
meatOfAnimal
PoultryMeat
and
Uccello
(
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