PolyCrystalline(poly crystalline) | ![]() | polycrystalline |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7440-7440 | Poly crystalline is a subclass of crystalline structure |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7444-7444 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7442-7442 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7446-7466 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 3199-3209 |
|
![]() |
![]() |