|
|
  InternationalOrganizationForStandardization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3557-3557 | The month February is a date established of international organization for standardization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3554-3554 | International organization for standardization is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3559-3559 | Industry standards is an organizational objective of international organization for standardization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3558-3558 | Information standards is an organizational objective of international organization for standardization |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3556-3556 | "ISO" is an abbreviation of international organization for standardization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | International organization for standardization is a conventional long name of "International Organization for Standardization" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30667-30667 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30666-30666 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30665-30665 |
|
|
|