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 20350-20352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20353-20353 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 20354-20354 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 20349-20349 meat of animal is an instance of binary predicate

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3846-3846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3845-3845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3844-3844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36713-36713
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36712-36712
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36711-36711

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20356-20365

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


No TPTP formula. May not be expressible in strict first order. Food.kif 1928-1937
No TPTP formula. May not be expressible in strict first order. Food.kif 2410-2415

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20369-20369 Beef is the meat of cow
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20373-20373 Chicken meat is the meat of chicken
No TPTP formula. May not be expressible in strict first order. Food.kif 1951-1951 Crab is the meat of crab
No TPTP formula. May not be expressible in strict first order. Food.kif 1955-1955 Crayfish is the meat of crayfish
No TPTP formula. May not be expressible in strict first order. Food.kif 2039-2039 Duck is the meat of duck
No TPTP formula. May not be expressible in strict first order. Food.kif 1941-1941 Fish meat is the meat of fish
No TPTP formula. May not be expressible in strict first order. Food.kif 2589-2589 Goat meat is the meat of goat
No TPTP formula. May not be expressible in strict first order. Food.kif 2043-2043 Goose is the meat of goose
No TPTP formula. May not be expressible in strict first order. Economy.kif 4955-4955 Lamb meat is the meat of lamb
No TPTP formula. May not be expressible in strict first order. Food.kif 1960-1960 Lobster is the meat of lobster
No TPTP formula. May not be expressible in strict first order. Food.kif 1986-1986 Mollusk is the meat of mollusk
No TPTP formula. May not be expressible in strict first order. Economy.kif 4960-4960 Mutton is the meat of sheep
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30505-30505 Octopus is the meat of octopus
No TPTP formula. May not be expressible in strict first order. Food.kif 2004-2004 Oyster is the meat of oyster
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20376-20376 Pork is the meat of pig
No TPTP formula. May not be expressible in strict first order. Food.kif 2033-2033 Poultry is the meat of bird
No TPTP formula. May not be expressible in strict first order. Food.kif 1964-1964 Shrimp is the meat of shrimp
No TPTP formula. May not be expressible in strict first order. Food.kif 2054-2054 Quail is the meat of quail bird
No TPTP formula. May not be expressible in strict first order. Food.kif 2008-2008 Scallop is the meat of scallop
No TPTP formula. May not be expressible in strict first order. Food.kif 2021-2021 Squid is the meat of squid
No TPTP formula. May not be expressible in strict first order. Food.kif 2047-2047 Turkey meat is the meat of turkey bird
No TPTP formula. May not be expressible in strict first order. Economy.kif 4973-4973 Veal is the meat of calf
No TPTP formula. May not be expressible in strict first order. Economy.kif 4976-4976 Water buffalo meat is the meat of water buffalo


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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