| appearance as argument number 1 |
|
| (instance Antarctic-EnvironmentalProtocol Agreement) | Geography.kif 3172-3172 | Antarctic-EnvironmentalProtocol est une instance de Agreement |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Protocol on Environmental Protection to the Antarctic Treaty" Antarctic-EnvironmentalProtocol) | Geography.kif 3174-3175 | conventionalLongName "Protocol on Environmental Protection to the Antarctic Treaty" and Antarctic-EnvironmentalProtocol |
| (termFormat ChineseLanguage Antarctic-EnvironmentalProtocol "南极洲 - 环境协议") | domainEnglishFormat.kif 7740-7740 | |
| (termFormat ChineseTraditionalLanguage Antarctic-EnvironmentalProtocol "南極洲 - 環境協議") | domainEnglishFormat.kif 7739-7739 | |
| (termFormat EnglishLanguage Antarctic-EnvironmentalProtocol "antarctic- environmental protocol") | domainEnglishFormat.kif 7738-7738 |
|
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