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 | ingredient DrinkingWater and Americano |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31671-31671 | roomTempState DrinkingWater and Liquid |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2810-2810 | DrinkingWater e' uma sub-classe de FreshWater |
No TPTP formula. May not be expressible in strict first order. | Food.kif 218-218 | DrinkingWater e' uma sub-classe de PreparedFood |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 219-219 | DrinkingWater se chama nome "potable water" |
No TPTP formula. May not be expressible in strict first order. | Food.kif 238-238 | PurifiedWater e' relacionado internamente por SUMO a DrinkingWater |
No TPTP formula. May not be expressible in strict first order. | Food.kif 269-269 | TapWater e' relacionado internamente por SUMO a DrinkingWater |
No TPTP formula. May not be expressible in strict first order. | Food.kif 221-221 | SparklingWater e' uma sub-classe de DrinkingWater |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46858-46858 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46857-46857 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46856-46856 |
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 |
|