Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Pork Meat) | Mid-level-ontology.kif 22613-22613 | Pork is a subclass of meat |
| (documentation Pork EnglishLanguage "Meat that was originally part of a Pig.") | Mid-level-ontology.kif 22614-22614 | Pork is a subclass of meat |
| (meatOfAnimal Pork Pig) | Mid-level-ontology.kif 22615-22615 | Pork is the meat of pig |
| (externalImage Pork "http://upload.wikimedia.org/wikipedia/commons/6/64/ Pork_chops_served.jpg") | pictureList.kif 4797-4797 | Pork is the meat of pig |
| appearance as argument number 2 |
|
|
| (industryProductType HogAndPigFarming Pork) | Economy.kif 6629-6629 | Pork is an industry product type of hog and pig farming |
| (subclass Bacon Pork) | Food.kif 2155-2155 | Bacon is a subclass of pork |
| (termFormat EnglishLanguage Pork "pork") | domainEnglishFormat.kif 46699-46699 | Bacon is a subclass of pork |
| (termFormat ChineseTraditionalLanguage Pork "豬肉") | domainEnglishFormat.kif 46700-46700 | Bacon is a subclass of pork |
| (termFormat ChineseLanguage Pork "猪肉") | domainEnglishFormat.kif 46701-46701 | 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 2919-2928 | If X is an instance of lard, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of heating (3) Z is a patient of Y (4) Z is an instance of fat tissue (5) Z is a part of W (6) W is an instance of pork (7) X is a result of Y |
|