DryRoasting - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 123-125
No TPTP formula. May not be expressible in strict first order.	Food.kif 121-121	Dry roasting is a subclass of cooking
No TPTP formula. May not be expressible in strict first order.	Food.kif 122-122	Dry roasting is a subclass of heating

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Food.kif 126-126

antecedent

No TPTP formula. May not be expressible in strict first order.

Food.kif 128-151

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 479-488	If a real number is the temperature at which a food is roasted to and the food is an instance of coffee bean and the real number is an instance of real number, then the statement there exists an entity such that the entity is an instance of dry roasting and the food is a patient of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 114-119	If hulled is an attribute of an object, then there exists a process such that the process is an instance of dry roasting and the object is a result of the process