![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Food EnglishLanguage "Food that is fit for Human.") | Merge.kif 15025-15025 | |
(equal Food (FoodForFn Human)) |
Merge.kif 15026-15026 | equal food and food for human |
(subclass Food SelfConnectedObject) | Merge.kif 15027-15027 | Food is a subclass of self connected object |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain roastedToTemperature 1 Food) | Food.kif 464-464 | The number 1 argument of roasted to temperature is an instance of food |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?A PreparedFoodAttribute) (attribute ?F ?A)) (instance ?F Food)) |
Food.kif 24-28 |
|
(=> (instance ?C CuringFood) (exists (?F ?P ?S) (and (instance ?F Food) (patient ?C ?F) (instance ?P Putting) (subProcess ?P ?C) (instance ?S SodiumChloride) (patient ?P ?S) (destination ?P ?F)))) |
Food.kif 84-94 |
|
![]() |
![]() |