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 2192-2192 |
politicalPartyOfCountry e' uma sub-relacao de agentOperatesInArea |
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 |
|