YearDuration(年持续时间) |
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 8796-8798 | |
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 8766-8768 | |
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 |