YearDuration(year duration) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 301-309 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 259-267 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 332-340 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8774-8776 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3716-3718 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8744-8746 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1191-1209 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1106-1118 |
|