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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AlgerianSignLanguage

 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 Le nombre 1 argument de meatOfAnimal est une sous-classe de viande
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20354-20354 Le nombre 2 argument de meatOfAnimal est une sous-classe de animal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20349-20349 meatOfAnimal est une instance de pr�dicat binaire

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 meatOfAnimal Beef and Cow
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20373-20373 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 poisson
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 mollusque
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 30505-30505 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 20376-20376 meatOfAnimal Pork and Pig
No TPTP formula. May not be expressible in strict first order. Food.kif 2033-2033 meatOfAnimal PoultryMeat and oiseau
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