TreeView Knowledge Base Browser - meatOfAnimal

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - meatOfAnimal

meatOfAnimal

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19689-19691
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19692-19692	The number 1 argument of meat of animal is a subclass of meat
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19693-19693	The number 2 argument of meat of animal is a subclass of animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19687-19687	meat of animal is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19686-19686	meat of animal is a subrelation of productOfAnimal

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3851-3851
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3850-3850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3849-3849
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36696-36696
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36695-36695
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36694-36694

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 19704-19713

If a kind of organic object is the meat of a kind of animal and an entity is an instance of a kind of organic object,
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 finishes the time of existence of the physical and the entity is a part of the physical holds during the time interval

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 256-265	If an entity is an instance of a kind of organic object and a kind of organic object is a subclass of seafood, then there exist an organism and the entityEA such that the kind of organic object is the meat of a kind of animal and the organism is an instance of a kind of animal and the entityEA is an instance of body of water and the organism lives in the entityEA
No TPTP formula. May not be expressible in strict first order.	Food.kif 471-476	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19717-19717	Beef is the meat of cow
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19721-19721	Chicken meat is the meat of chicken
No TPTP formula. May not be expressible in strict first order.	Food.kif 279-279	Crab is the meat of Crab
No TPTP formula. May not be expressible in strict first order.	Food.kif 283-283	Crayfish is the meat of crayfish
No TPTP formula. May not be expressible in strict first order.	Food.kif 367-367	Duck is the meat of duck
No TPTP formula. May not be expressible in strict first order.	Food.kif 269-269	Fish meat is the meat of fish
No TPTP formula. May not be expressible in strict first order.	Food.kif 563-563	GoatMeat is the meat of goat
No TPTP formula. May not be expressible in strict first order.	Food.kif 371-371	Goose is the meat of goose
No TPTP formula. May not be expressible in strict first order.	Food.kif 288-288	Lobster is the meat of Lobster
No TPTP formula. May not be expressible in strict first order.	Food.kif 314-314	Mollusk is the meat of mollusk
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29907-29907	Octopus is the meat of octopus
No TPTP formula. May not be expressible in strict first order.	Food.kif 332-332	Oyster is the meat of Oyster
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19724-19724	Pork is the meat of pig
No TPTP formula. May not be expressible in strict first order.	Food.kif 361-361	Poultry is the meat of bird
No TPTP formula. May not be expressible in strict first order.	Food.kif 292-292	Shrimp is the meat of shrimp
No TPTP formula. May not be expressible in strict first order.	Food.kif 382-382	Quail is the meat of QuailBird
No TPTP formula. May not be expressible in strict first order.	Food.kif 336-336	Scallop is the meat of Scallop
No TPTP formula. May not be expressible in strict first order.	Food.kif 349-349	Squid is the meat of Squid
No TPTP formula. May not be expressible in strict first order.	Food.kif 375-375	Turkey meat is the meat of TurkeyBird

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