|
|
  GroupOf6
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3255-3255 | dateEstablished GroupOf6 and o dia 22 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3251-3251 | GroupOf6 e' uma instancia de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3256-3256 | organizationalObjective GroupOf6 and NuclearDisarmament |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3253-3253 | abbreviation "G-6" and GroupOf6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3252-3252 | conventionalLongName "Group of 6" and GroupOf6 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3254-3254 | localLongName "Groupe des Six Sur le Desarmement" and GroupOf6 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26778-26778 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26777-26777 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26776-26776 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2879-2879 | BigSix e' igual a GroupOf6 |
|
|
|