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 20377-20379
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20380-20380 O argumento numero 1 de meatOfAnimal e' uma sub-classe de Carne
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20381-20381 O argumento numero 2 de meatOfAnimal e' uma sub-classe de Animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20376-20376 meatOfAnimal e' uma instancia de Predicado Binario

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 20383-20392

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 20396-20396 meatOfAnimal Beef and Cow
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20400-20400 meatOfAnimal ChickenMeat and Chicken
No TPTP formula. May not be expressible in strict first order. Food.kif 1951-1951 meatOfAnimal CrabMeat and Crab
No TPTP formula. May not be expressible in strict first order. Food.kif 1955-1955 meatOfAnimal CrayfishMeat and Crayfish
No TPTP formula. May not be expressible in strict first order. Food.kif 2039-2039 meatOfAnimal DuckMeat and Duck
No TPTP formula. May not be expressible in strict first order. Food.kif 1941-1941 meatOfAnimal FishMeat and Peixe
No TPTP formula. May not be expressible in strict first order. Food.kif 2589-2589 meatOfAnimal GoatMeat and Goat
No TPTP formula. May not be expressible in strict first order. Food.kif 2043-2043 meatOfAnimal GooseMeat and Goose
No TPTP formula. May not be expressible in strict first order. Economy.kif 4955-4955 meatOfAnimal LambMeat and Lamb
No TPTP formula. May not be expressible in strict first order. Food.kif 1960-1960 meatOfAnimal LobsterMeat and Lobster
No TPTP formula. May not be expressible in strict first order. Food.kif 1986-1986 meatOfAnimal MolluskMeat and Molusco
No TPTP formula. May not be expressible in strict first order. Economy.kif 4960-4960 meatOfAnimal Mutton and Sheep
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30529-30529 meatOfAnimal OctopusMeat and Octopus
No TPTP formula. May not be expressible in strict first order. Food.kif 2004-2004 meatOfAnimal OysterMeat and Oyster
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20403-20403 meatOfAnimal Pork and Pig
No TPTP formula. May not be expressible in strict first order. Food.kif 2033-2033 meatOfAnimal PoultryMeat and Passaro
No TPTP formula. May not be expressible in strict first order. Food.kif 1964-1964 meatOfAnimal PrawnMeat and Prawn
No TPTP formula. May not be expressible in strict first order. Food.kif 2054-2054 meatOfAnimal QuailMeat and QuailBird
No TPTP formula. May not be expressible in strict first order. Food.kif 2008-2008 meatOfAnimal ScallopMeat and Scallop
No TPTP formula. May not be expressible in strict first order. Food.kif 2021-2021 meatOfAnimal SquidMeat and Squid
No TPTP formula. May not be expressible in strict first order. Food.kif 2047-2047 meatOfAnimal TurkeyMeat and TurkeyBird
No TPTP formula. May not be expressible in strict first order. Economy.kif 4973-4973 meatOfAnimal Veal and Calf
No TPTP formula. May not be expressible in strict first order. 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