![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6988-6989 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6984-6986 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7043-7043 | Deposition is internally related to sublimation |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6991-6991 | Deposition is a subclass of state change |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2774-2774 | Frosting is a subclass of deposition |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6995-6995 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6993-6993 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7016-7030 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6997-7014 |
|
![]() |
![]() |