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 14877-14881 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2523-2523 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14876-14876 | 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 14863-14863 | Liquid mixture is exhaustively partitioned into solution and suspension |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1214-1214 | Antifreeze is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2178-2178 | Diesel fuel is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2173-2173 | Gasoline is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9976-9976 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 829-829 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 860-860 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 505-505 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 37-37 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 40-40 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2190-2190 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 457-457 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 42-42 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 72-72 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 331-331 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 526-526 | Saline solution is a subclass of solution |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 41-41 | Saline solution is a subclass of solution |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3743-3743 | 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 17743-17745 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23214-23219 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7684-7696 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7656-7667 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21189-21195 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21173-21183 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 922-936 |
|
![]() |
![]() |