Ice
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8976-8976 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2232-2232 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1812-1812 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2233-2233 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1144-1144 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8975-8975 | 冰 是 水 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3068-3068 | 冰雹 是 冰 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4722-4722 | 冰山 是 冰 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5935-5935 | 海冰 是 冰 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2991-2991 | 雪 是 冰 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29115-29115 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29114-29114 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29113-29113 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8978-8982 | 客体 是 冰 的 instance 若且唯若 那个 客体 是 水 的 instance 和 固体 是 那个 客体 的 attribute |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8984-8988 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4742-4749 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2778-2788 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2510-2520 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25515-25522 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1137-1145 |