No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 148-148 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 147-147 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 146-146 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24234-24234 |
birthday is a subrelation of anniversary |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24193-24193 |
weddingAnniversary is a subrelation of anniversary |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7644-7644 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7643-7643 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7642-7642 |
|