Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Suet(suet) |
| appearance as argument number 1 |
|
| (subclass Suet AnimalFat) | Food.kif 2930-2930 | Suet is a subclass of animal fat |
| (roomTempState Suet Solid) | Food.kif 2931-2931 | room temperature state suet and solid |
| (documentation Suet EnglishLanguage "Suet is raw fat of the Meat from Cattle or Sheep.[Wikipedia]") | Food.kif 2932-2932 | room temperature state suet and solid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Suet "suet") | Food.kif 2933-2933 |
| antecedent |
|
|
| (=> (and (equal ?S (OrganicObjectFn ?F)) (subclass ?S Suet) (subclass ?F FatTissue)) (or (initialPart ?F Cattle) (initialPart ?F Sheep))) |
Food.kif 2935-2943 | If equal X and Object made from Y, X is a subclass of suet, and Y is a subclass of fat tissue, then every Y is initially part of a cattle or every Y is initially part of a sheep |
| consequent |
|
|
| (=> (instance ?T Tallow) (exists (?H ?S) (and (instance ?H Heating) (patient ?H ?S) (instance ?S Suet) (result ?H ?T)))) |
Food.kif 2950-2957 | If X is an instance of tallow, then there exist Y, Z such that Y is an instance of heating, Z is a patient of Y, Z is an instance of suet, and X is a result of Y |
|