meatOfAnimal |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20349-20351 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20352-20352 | 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 20353-20353 | 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 20348-20348 | 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 20355-20364 |
|
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 20368-20368 | meatOfAnimal Beef and Cow |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20372-20372 | 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 30493-30493 | 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 20375-20375 | 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 |