Ice
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9004-9004 | |
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 9003-9003 | Ice is a subclass of water |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3055-3055 | Hailstone is a subclass of ice |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4722-4722 | Iceberg is a subclass of ice |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5935-5935 | Sea ice is a subclass of ice |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2978-2978 | Snow is a subclass of ice |
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 9006-9010 | An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9012-9016 |
|
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 2765-2775 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2497-2507 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25573-25580 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 1125-1133 |
|