No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2043-2043 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2042-2042 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 2041-2041 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 422-422 |
dependent geopolitical area is internally related to primary geopolitical subdivision |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47308-47308 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47307-47307 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47306-47306 |
|