| 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 21992-21992 | |
| (externalImage Pork "http://upload.wikimedia.org/wikipedia/commons/6/64/ Pork_chops_served.jpg") | pictureList.kif 4797-4797 | |
| (meatOfAnimal Pork Pig) | Mid-level-ontology.kif 21993-21993 | Pork is the meat of pig |
| (subclass Pork Meat) | Mid-level-ontology.kif 21991-21991 | Pork is a subclass of meat |
| appearance as argument number 2 |
|
|
| (industryProductType HogAndPigFarming Pork) | Economy.kif 6604-6604 | Pork is an industry product type of hog and pig farming |
| (subclass Bacon Pork) | Food.kif 2143-2143 | Bacon is a subclass of pork |
| (termFormat ChineseLanguage Pork "猪肉") | domainEnglishFormat.kif 46708-46708 | Bacon is a subclass of pork |
| (termFormat ChineseTraditionalLanguage Pork "豬肉") | domainEnglishFormat.kif 46707-46707 | Bacon is a subclass of pork |
| (termFormat EnglishLanguage Pork "pork") | domainEnglishFormat.kif 46706-46706 | 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 2897-2906 |
|
|
|
|