| Pork(pork)
| | Virginia_ham, cochon_de_lait, cut_of_pork, flitch, gammon, ham, jambon, picnic_ham, picnic_shoulder, porc, pork, pork_belly, pork_loin, pork_roast, pork_tenderloin, porkchop, prosciutto, roast_pork, side_of_bacon, side_of_pork, sparerib, suckling_pig |
| appearance as argument number 1 |
|
|
| (documentation Pork EnglishLanguage "Meat that was originally part of a Pig.") | Mid-level-ontology.kif 20633-20633 | |
| (externalImage Pork "http://upload.wikimedia.org/wikipedia/commons/6/64/ Pork_chops_served.jpg") | pictureList.kif 4798-4798 | |
| (meatOfAnimal Pork Pig) | Mid-level-ontology.kif 20634-20634 | Pork is the meat of pig |
| (subclass Pork Meat) | Mid-level-ontology.kif 20632-20632 | Pork is a subclass of meat |
| appearance as argument number 2 |
|
|
| (industryProductType HogAndPigFarming Pork) | Economy.kif 6206-6206 | Pork is an industry product type of hog and pig farming |
| (subclass Bacon Pork) | Food.kif 2136-2136 | Bacon is a subclass of pork |
| (termFormat ChineseLanguage Pork "猪肉") | domainEnglishFormat.kif 46744-46744 | Bacon is a subclass of pork |
| (termFormat ChineseTraditionalLanguage Pork "豬肉") | domainEnglishFormat.kif 46743-46743 | Bacon is a subclass of pork |
| (termFormat EnglishLanguage Pork "pork") | domainEnglishFormat.kif 46742-46742 | Bacon is a subclass of pork |
| consequent |
|
|
| (=> (instance ?L Lard) (exists (?H ?F ?P) (and (instance ?H Heating) (patient ?H ?F) (instance ?F FatTissue) (part ?F ?P) (instance ?P Pork) (result ?H ?L)))) |
Food.kif 2890-2899 |
|
|
|
|