No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5065-5065 |
RipCurrent e' uma sub-classe de LittoralCurrent |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5059-5059 |
TidalBore e' uma sub-classe de LittoralCurrent |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5052-5052 |
TidalEbb e' uma sub-classe de LittoralCurrent |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5045-5045 |
TidalFlow e' uma sub-classe de LittoralCurrent |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34751-34751 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34750-34750 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34749-34749 |
|