No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 76-76 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 75-75 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 74-74 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2228-2228 |
political party of country is a subrelation of agent operates in area |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5826-5826 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5825-5825 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5824-5824 |
|