No TPTP formula. May not be expressible in strict first order. |
Government.kif 2888-2888 |
"ANZUS" is an abbreviation of australia new zealand united states security treaty |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2887-2887 |
Australia new zealand united states security treaty is a conventional long name of "Australia-New Zealand-United States Security Treaty" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9096-9096 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9095-9095 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9094-9094 |
|