No TPTP formula. May not be expressible in strict first order. |
Government.kif 2843-2843 |
Australia group is a conventional long name of "Australia Group" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9079-9079 |
Australia group is a conventional long name of "Australia Group" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9078-9078 |
Australia group is a conventional long name of "Australia Group" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9077-9077 |
Australia group is a conventional long name of "Australia Group" |