appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3460-3462 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13560-13564 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2525-2525 | "http://upload.wikimedia.org/wikipedia/commons/8/89/ SaltInWaterSolutionLiquid.jpg" is a URL depicting solution |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13559-13559 | Solution is a subclass of liquid mixture |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13546-13546 | Liquid mixture is exhaustively partitioned into solution and suspension |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8487-8487 | Oil is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3734-3734 | Paint is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8448-8448 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4103-4103 | Soil solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 829-829 | "溶液" is the printable form of solution in ChineseLanguage |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 865-865 | "solution" is the printable form of solution in english language |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3833-3833 | The number 1 argument of potential of hydrogen is an instance of solution |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16236-16238 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6718-6730 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6690-6701 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17396-17402 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17380-17390 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 912-926 |
|
![]() |
![]() |