| appearance as argument number 1 |
|
| (subAttribute CBWExportControls ControlBiologicalAndChemicalWeapons) | Government.kif 2609-2609 | CBWExportControls は ControlBiologicalAndChemicalWeapons の subattribute では %n |
| appearance as argument number 2 |
|
|
| (organizationalObjective AustraliaGroup CBWExportControls) | Government.kif 2848-2848 | organizationalObjective AustraliaGroup and CBWExportControls |
| (termFormat ChineseLanguage CBWExportControls "CBW出口管制") | domainEnglishFormat.kif 13614-13614 | |
| (termFormat ChineseTraditionalLanguage CBWExportControls "CBW出口管制") | domainEnglishFormat.kif 13613-13613 | |
| (termFormat EnglishLanguage CBWExportControls "CBW export controls") | domainEnglishFormat.kif 13612-13612 |
|
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