| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3557-3557 | dateEstablished InternationalOrganizationForStandardization and le moi F�vrier |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3554-3554 | InternationalOrganizationForStandardization est une instance de OrganizationOfNations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3559-3559 | organizationalObjective InternationalOrganizationForStandardization and IndustryStandards |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3558-3558 | organizationalObjective InternationalOrganizationForStandardization and InformationStandards |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3556-3556 | abbreviation "ISO" and InternationalOrganizationForStandardization |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3555-3555 | conventionalLongName "International Organization for Standardization" and InternationalOrganizationForStandardization |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners