No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60-60 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 59-59 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 58-58 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 377-377 |
capital city is a subrelation of administrative center |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5550-5550 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5549-5549 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5548-5548 |
|