DrinkingWater
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2812-2813 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2319-2319 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1308-1308 | 饮用水 是在 Americano 的 ingredient |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31639-31639 | roomTempState 饮用水 and 液体 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2810-2810 | 饮用水 是 淡水 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 218-218 | 饮用水 是 已准备食物 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 219-219 | 饮用水 的名 是 "potable water" |
No TPTP formula. May not be expressible in strict first order. | Food.kif 238-238 | PurifiedWater 和 饮用水 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 269-269 | TapWater 和 饮用水 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 221-221 | SparklingWater 是 饮用水 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46856-46856 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46855-46855 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46854-46854 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1321-1332 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1440-1450 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2815-2818 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 128-151 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1310-1320 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 641-643 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 844-851 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 664-673 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 686-701 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 675-684 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1609-1616 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 754-762 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1423-1427 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1429-1439 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3444-3446 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 226-235 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3588-3593 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 862-869 |