|
|
   Sake
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3475-3476 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3474-3474 | Sake e' uma sub-classe de AlcoholicBeverage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65433-65433 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3479-3486 |
|
|
|