No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 2793-2793 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8804-8804 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1512-1512 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8802-8802 |
Decade e' relacionado internamente por SUMO a DecadeDuration |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8801-8801 |
Decade e' uma sub-classe de Intervalo Temporal |