Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
AntarcticTreaty(antarctic treaty)
|
| appearance as argument number 1 |
|
| (instance AntarcticTreaty Agreement) | Geography.kif 4622-4622 | Antarctic treaty is an instance of agreement |
| (agreementAdoptionDate AntarcticTreaty (DayFn 1 (MonthFn December (YearFn 1959)))) |
Geography.kif 4624-4627 | The day 1 of month the month December is an agreement adoption date of antarctic treaty |
| (agreementEffectiveDate AntarcticTreaty (DayFn 23 (MonthFn June (YearFn 1961)))) |
Geography.kif 4629-4632 | The day 23 of month the month June is an agreement effective date of antarctic treaty |
| (externalImage AntarcticTreaty "http://upload.wikimedia.org/wikipedia/commons/ e/ e0/ Antarctica_6400px_from_Blue_Marble.jpg") | pictureList.kif 6096-6096 | The day 23 of month the month June is an agreement effective date of antarctic treaty |
| (externalImage AntarcticTreaty "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Antarctic_Treaty.png") | pictureList.kif 6098-6098 | The day 23 of month the month June is an agreement effective date of antarctic treaty |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Antarctic Treaty" AntarcticTreaty) | Geography.kif 4623-4623 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| (termFormat EnglishLanguage AntarcticTreaty "antarctic treaty") | domainEnglishFormat.kif 7774-7774 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| (termFormat ChineseTraditionalLanguage AntarcticTreaty "南極條約") | domainEnglishFormat.kif 7775-7775 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
| (termFormat ChineseLanguage AntarcticTreaty "南极条约") | domainEnglishFormat.kif 7776-7776 | Antarctic treaty is a conventional long name of "Antarctic Treaty" |
|