No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8972-8975 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 1525-1528 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8968-8968 |
域 QuarterFn, 1 and PositiveInteger |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8969-8969 |
域子類 QuarterFn, 2 and 年 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8966-8966 |
例 QuarterFn and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8967-8967 |
例 QuarterFn and PartialValuedRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8965-8965 |
例 QuarterFn and TemporalRelation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8970-8970 |
範圍子類 QuarterFn and QuarterYear |