Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  meatOfAnimal

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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 256-265
No TPTP formula. May not be expressible in strict first order. Food.kif 471-476

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